add a reminder to remove the CodeMirror hack in the future
This commit is contained in:
parent
96a6985032
commit
34922a0d03
|
@ -243,6 +243,7 @@
|
||||||
}
|
}
|
||||||
|
|
||||||
// speedup: reuse the old folding marks
|
// speedup: reuse the old folding marks
|
||||||
|
// TODO: remove when https://github.com/codemirror/CodeMirror/pull/6010 is shipped in /vendor
|
||||||
const {setGutterMarker} = CodeMirror.prototype;
|
const {setGutterMarker} = CodeMirror.prototype;
|
||||||
CodeMirror.prototype.setGutterMarker = function (line, gutterID, value) {
|
CodeMirror.prototype.setGutterMarker = function (line, gutterID, value) {
|
||||||
const o = this.state.foldGutter.options;
|
const o = this.state.foldGutter.options;
|
||||||
|
|
Loading…
Reference in New Issue
Block a user