EditorViewModel: update cursor when covered by a scroll region

yatli · Jun 6, 2019 · 386cab8 · 386cab8
1 parent 58c0ae4
commit 386cab8
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/ViewModels/EditorViewModel.fs b/ViewModels/EditorViewModel.fs
@@ -274,6 +274,13 @@ and EditorViewModel(GridId: int, ?parent: EditorViewModel, ?_gridsize: GridSize,
             for i = bot + rows - 1 downto top do
                 copy i (i-rows)
 
+        if top <= cursor_row 
+           && cursor_row <= bot 
+           && left <= cursor_col 
+           && cursor_col <= right
+        then
+            this.cursorConfig()
+
     let setOption (opt: UiOption) = 
         trace "setOption: %A" opt