feat: add options to disable or change selection debounce time (#1504)

vscode-neovim · Oct 8, 2023 · 2515e46 · 2515e46
1 parent 888e6e3
commit 2515e46
Show file tree

Hide file tree

Showing 3 changed files with 40 additions and 3 deletions.
diff --git a/package.json b/package.json
@@ -199,6 +199,31 @@
                             "backgroundColor": "theme.editor.selectionBackground"
                         }
                     }
+                },
+                "vscode-neovim.normalSelectionDebounceTime": {
+                    "type": "integer",
+                    "minimum": 20,
+                    "maximum": 100,
+                    "default": 50,
+                    "description": "Debounce time used to synchronize selection from VSCode to Nvim, typically referring to cursor movement"
+                },
+                "vscode-neovim.mouseSelectionDebounceTime": {
+                    "default": 100,
+                    "enum": [
+                        0,
+                        50,
+                        100,
+                        150,
+                        200
+                    ],
+                    "enumDescriptions": [
+                        "Disable mouse selection sync",
+                        "50ms",
+                        "100ms",
+                        "150ms",
+                        "200ms"
+                    ],
+                    "description": "Debounce time for synchronizing mouse selection. Set to 0 to disable synchronization"
                 }
             }
         },

diff --git a/src/config.ts b/src/config.ts
@@ -142,6 +142,16 @@ export class Config implements Disposable {
     get outputToConsole() {
         return this.cfg.get("logOutputToConsole", false);
     }
+
+    get normalSelectionDebounceTime() {
+        return this.cfg.get("normalSelectionDebounceTime", 50);
+    }
+    get mouseSelectionDebounceTime() {
+        return this.cfg.get("mouseSelectionDebounceTime", 100);
+    }
+    get disableMouseSelection() {
+        return this.mouseSelectionDebounceTime === 0;
+    }
 }
 
 export const config = new Config();
diff --git a/src/cursor_manager.ts b/src/cursor_manager.ts
@@ -17,6 +17,7 @@ import { MainController } from "./main_controller";
 import { Mode } from "./mode_manager";
 import { NeovimExtensionRequestProcessable, NeovimRedrawProcessable } from "./neovim_events_processable";
 import { convertEditorPositionToVimPosition, convertVimPositionToEditorPosition, ManualPromise } from "./utils";
+import { config } from "./config";
 
 const logger = createLogger("CursorManager");
 
@@ -323,9 +324,9 @@ export class CursorManager implements Disposable, NeovimRedrawProcessable, Neovi
         if (this.previousApplyDebounceTime !== undefined) {
             debounceTime = this.previousApplyDebounceTime;
         } else if (kind === TextEditorSelectionChangeKind.Mouse) {
-            debounceTime = 100;
+            debounceTime = config.mouseSelectionDebounceTime;
         } else {
-            debounceTime = 50;
+            debounceTime = config.normalSelectionDebounceTime;
         }
         this.previousApplyDebounceTime = debounceTime;
 
@@ -369,7 +370,8 @@ export class CursorManager implements Disposable, NeovimRedrawProcessable, Neovi
                     await this.client.input("<Esc>");
                 await this.updateNeovimCursorPosition(editor, selection.active);
             } else {
-                await this.updateNeovimVisualSelection(editor, selection);
+                if (kind != TextEditorSelectionChangeKind.Mouse || !config.disableMouseSelection)
+                    await this.updateNeovimVisualSelection(editor, selection);
             }
         }
         this.previousApplyDebounceTime = undefined;