Zeile 49 | Zeile 49 |
---|
}); var myRange = cm.markText(range.from, range.to, { replacedWith: myWidget,
|
}); var myRange = cm.markText(range.from, range.to, { replacedWith: myWidget,
|
clearOnEnter: true,
| clearOnEnter: getOption(cm, options, "clearOnEnter"),
|
__isFold: true }); myRange.on("clear", function(from, to) {
| __isFold: true }); myRange.on("clear", function(from, to) {
|
Zeile 65 | Zeile 65 |
---|
widget = document.createElement("span"); widget.appendChild(text); widget.className = "CodeMirror-foldmarker";
|
widget = document.createElement("span"); widget.appendChild(text); widget.className = "CodeMirror-foldmarker";
|
| } else if (widget) { widget = widget.cloneNode(true)
|
} return widget; }
| } return widget; }
|
Zeile 129 | Zeile 131 |
---|
rangeFinder: CodeMirror.fold.auto, widget: "\u2194", minFoldSize: 0,
|
rangeFinder: CodeMirror.fold.auto, widget: "\u2194", minFoldSize: 0,
|
scanUp: false
| scanUp: false, clearOnEnter: true
|
};
CodeMirror.defineOption("foldOptions", null);
| };
CodeMirror.defineOption("foldOptions", null);
|
Zeile 142 | Zeile 145 |
---|
return editorOptions[name]; return defaultOptions[name]; }
|
return editorOptions[name]; return defaultOptions[name]; }
|
| CodeMirror.defineExtension("foldOption", function(options, name) { return getOption(this, options, name); });
|
});
| });
|