diff --git a/js/widget.js b/js/widget.js
index fca6ff0..424ee02 100644
--- a/js/widget.js
+++ b/js/widget.js
@@ -44,7 +44,7 @@ export default{
.forced-indent {width: 4em;}\
.CodeMirror {border: 1px solid #aaa; height: auto;}\
widget-code-input-signature {border-bottom: 0px solid #aaa;}\
- widget-code-input-docstring {border-top: 0px solid #aaa;}\
+ //widget-code-input-docstring {border-top: 0px solid #aaa;}\
.widget-code-input-body { border-top: 1px solid #aaa;}\
';
@@ -59,9 +59,9 @@ export default{
'' +
- '' +
+ //'' +
'';
@@ -83,7 +83,7 @@ export default{
var guttercomp = new Compartment; // allow dynamic changing of line numbers
var theme_compartment_sig = new Compartment;
- var theme_compartment_doc = new Compartment;
+ //var theme_compartment_doc = new Compartment;
var theme_compartment_body = new Compartment;
@@ -116,30 +116,39 @@ export default{
mySignatureCodeMirror.dom.classList.add("widget-code-input-signature")
- var myDocstringCodeMirror = editorFromTextArea(document.getElementById(theTextareaId + '-docstring'), [lineNumbers(), EditorState.readOnly.of(true), EditorView.editorAttributes.of({class:"widget-code-input-docstring"}), gutter({class:"forced-indent"}), guttercomp.of(lineNumbers()),
-
- history(),
- drawSelection(),
- dropCursor(),
- EditorState.allowMultipleSelections.of(true),
- syntaxHighlighting(defaultHighlightStyle, { fallback: true }),
- bracketMatching(),
- closeBrackets(),
- autocompletion(),
- rectangularSelection(),
- crosshairCursor(),
- keymap.of([
- ...closeBracketsKeymap,
- ...defaultKeymap,
- ...searchKeymap,
- ...historyKeymap,
- ...foldKeymap,
- ...completionKeymap,
- ...lintKeymap,
- ]), python(), indentUnit.of(" "), theme_compartment_doc.of(basicLight)]);
-
-
- mySignatureCodeMirror.dom.classList.add("widget-code-input-signature"); // add css for border to docstring element
+ //var myDocstringCodeMirror = editorFromTextArea(document.getElementById(theTextareaId + '-docstring'),
+ // [lineNumbers(),
+ // EditorState.readOnly.of(true),
+ // EditorView.editorAttributes.of({class:"widget-code-input-docstring"}),
+ // gutter({class:"forced-indent"}),
+ // guttercomp.of(lineNumbers()),
+ // history(),
+ // drawSelection(),
+ // dropCursor(),
+ // EditorState.allowMultipleSelections.of(true),
+ // syntaxHighlighting(defaultHighlightStyle, { fallback: true }),
+ // bracketMatching(),
+ // closeBrackets(),
+ // autocompletion(),
+ // rectangularSelection(),
+ // crosshairCursor(),
+ // keymap.of([
+ // ...closeBracketsKeymap,
+ // ...defaultKeymap,
+ // ...searchKeymap,
+ // ...historyKeymap,
+ // ...foldKeymap,
+ // ...completionKeymap,
+ // ...lintKeymap,
+ // ]),
+ // python(),
+ // indentUnit.of(" "),
+ // theme_compartment_doc.of(basicLight)
+ // ]
+ //);
+
+
+ //mySignatureCodeMirror.dom.classList.add("widget-code-input-signature"); // add css for border to docstring element
// event listener for changes to function body
@@ -206,14 +215,24 @@ function signatureValueChanged() {
function updateLineNumbers() {
const linesSignature = mySignatureCodeMirror.state.doc.toString().split('\n').length;
- const docstring = myDocstringCodeMirror.state.doc.toString();
- const linesDocstring = docstring == "" ? 0 : docstring.split('\n').length;
-
- // increment line numbers in docstring text area by the number of lines in the signature
- myDocstringCodeMirror.dispatch({
- effects: guttercomp.reconfigure(
- lineNumbers({ formatNumber: n=> linesDocstring == 0 ? "" : linesSignature+n }))
- });
+ const linesDocstring = 0;
+ //const docstring = myDocstringCodeMirror.state.doc.toString();
+ //const linesDocstring = docstring == "" ? 0 : docstring.split('\n').length;
+ //// changing css style seems to not work
+ ////const fixedHeightEditor = EditorView.theme({
+ //// "&": {height: "100px"},
+ //// ".cm-scroller": {overflow: "auto"}
+ ////})
+ ////var theme = new Compartment;
+ ////myDocstringCodeMirror.dispatch({
+ //// effects: theme.reconfigure(fixedHeightEditor)
+ ////});
+
+ //// increment line numbers in docstring text area by the number of lines in the signature
+ //myDocstringCodeMirror.dispatch({
+ // effects: guttercomp.reconfigure(
+ // lineNumbers({ formatNumber: n=> linesDocstring == 0 ? "" : linesSignature+n }))
+ //});
myBodyCodeMirror.dispatch({
effects: guttercomp.reconfigure(
@@ -228,11 +247,11 @@ function signatureValueChanged() {
const newDocstring = model.get('docstring');
- if (newDocstring !== myDocstringCodeMirror.state.doc.toString()) {
- myDocstringCodeMirror.dispatch({
- changes: {from: 0, to: myDocstringCodeMirror.state.doc.length, insert: newDocstring}
-})
- }
+ //if (newDocstring !== myDocstringCodeMirror.state.doc.toString()) {
+ // myDocstringCodeMirror.dispatch({
+ // changes: {from: 0, to: myDocstringCodeMirror.state.doc.length, insert: newDocstring}
+ // })
+ //}
updateLineNumbers();
}
@@ -270,9 +289,9 @@ function bodyValueChanged() {
mySignatureCodeMirror.dispatch({
effects: theme_compartment_sig.reconfigure(theme)
})
- myDocstringCodeMirror.dispatch({
- effects: theme_compartment_doc.reconfigure(theme)
- })
+ //myDocstringCodeMirror.dispatch({
+ // effects: theme_compartment_doc.reconfigure(theme)
+ //})
myBodyCodeMirror.dispatch({
effects: theme_compartment_body.reconfigure(theme)
})