|
@@ -1294,7 +1294,7 @@ var self=this,$self=this;
|
|
|
//>>excludeStart("ctx", pragmas.excludeDebugContexts);
|
|
//>>excludeStart("ctx", pragmas.excludeDebugContexts);
|
|
|
return $core.withContext(function($ctx1) {
|
|
return $core.withContext(function($ctx1) {
|
|
|
//>>excludeEnd("ctx");
|
|
//>>excludeEnd("ctx");
|
|
|
-$self["@editor"] = codeMirrorLib.fromTextArea(aTextarea, {
|
|
|
|
|
|
|
+$self.editor = codeMirrorLib.fromTextArea(aTextarea, {
|
|
|
theme: "ide.codeMirrorTheme"._settingValueIfAbsent_("default"),
|
|
theme: "ide.codeMirrorTheme"._settingValueIfAbsent_("default"),
|
|
|
mode: "text/x-stsrc",
|
|
mode: "text/x-stsrc",
|
|
|
lineNumbers: true,
|
|
lineNumbers: true,
|
|
@@ -1311,7 +1311,7 @@ return self;
|
|
|
},
|
|
},
|
|
|
//>>excludeStart("ide", pragmas.excludeIdeData);
|
|
//>>excludeStart("ide", pragmas.excludeIdeData);
|
|
|
args: ["aTextarea"],
|
|
args: ["aTextarea"],
|
|
|
-source: "setEditorOn: aTextarea\x0a\x09<inlineJS: '$self[\x22@editor\x22] = codeMirrorLib.fromTextArea(aTextarea, {\x0a\x09\x09theme: \x22ide.codeMirrorTheme\x22._settingValueIfAbsent_(\x22default\x22),\x0a\x09\x09mode: \x22text/x-stsrc\x22,\x0a\x09\x09lineNumbers: true,\x0a\x09\x09enterMode: \x22flat\x22,\x0a\x09\x09indentWithTabs: true,\x0a\x09\x09indentUnit: 4,\x0a\x09\x09matchBrackets: true,\x0a\x09\x09electricChars: false\x0a\x09})'>",
|
|
|
|
|
|
|
+source: "setEditorOn: aTextarea\x0a\x09<inlineJS: '$self.editor = codeMirrorLib.fromTextArea(aTextarea, {\x0a\x09\x09theme: \x22ide.codeMirrorTheme\x22._settingValueIfAbsent_(\x22default\x22),\x0a\x09\x09mode: \x22text/x-stsrc\x22,\x0a\x09\x09lineNumbers: true,\x0a\x09\x09enterMode: \x22flat\x22,\x0a\x09\x09indentWithTabs: true,\x0a\x09\x09indentUnit: 4,\x0a\x09\x09matchBrackets: true,\x0a\x09\x09electricChars: false\x0a\x09})'>",
|
|
|
referencedClasses: [],
|
|
referencedClasses: [],
|
|
|
//>>excludeEnd("ide");
|
|
//>>excludeEnd("ide");
|
|
|
messageSends: []
|
|
messageSends: []
|
