#137: CodeMirror tail text locks must deny appending to end of file.

ajvincent · Dec 1, 2017 · fafd05f · fafd05f
1 parent 76b4326
commit fafd05f
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/docs/gui/utilities/CodeMirrorManager.js b/docs/gui/utilities/CodeMirrorManager.js
@@ -35,7 +35,12 @@ const CodeMirrorManager = window.CodeMirrorManager = {
   getTextLock: function(editor, startLine, endLine)
   {
     const doc = editor.getDoc();
-    const options = Object.freeze({ readOnly: true, className: "readOnly" });
+    const options = { readOnly: true, className: "readOnly" };
+    if (startLine === 0)
+      options.inclusiveLeft = true;
+    if (endLine === Infinity)
+      options.inclusiveRight = true;
+    Object.freeze(options);
     let mark = doc.markText(
       {line: startLine, ch: 0},
       {line: endLine, ch: 0},