| 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);
|