Fix line numbers are not always correctly updated (#783)

MarkEdit-app · Dec 4, 2024 · c73b459 · c73b459
1 parent 6fa40cf
commit c73b459
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CoreEditor/src/modules/input/index.ts b/CoreEditor/src/modules/input/index.ts
@@ -150,6 +150,11 @@ export function observeChanges() {
           clearTimeout(storage.gutterUpdater);
         }
 
+        // To handle a case where line number rects are not correctly updated
+        if (update.docChanged) {
+          window.editor.requestMeasure();
+        }
+
         storage.gutterUpdater = setTimeout(adjustGutterPositions, 15);
       }