Remove keybindings

No existing commands include default keybindings, so I believe the new features in tlaplus#307 should not have added keybindings. This particular keybinding conflicts with existing system bindings, so removing this entirely will resolve tlaplus#308. Signed-off-by: Eddy Ashton <[email protected]>
eddyashton · Oct 18, 2023 · 80e39e2 · 80e39e2
1 parent cf04d98
commit 80e39e2
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/package.json b/package.json
@@ -210,12 +210,6 @@
                 "category": "TLA+"
             }
         ],
-        "keybindings": [
-            {
-                "command": "tlaplus.tlaps.check-step",
-                "key": "ctrl+g ctrl+g"
-            }
-        ],
         "snippets": [
             {
                 "language": "tlaplus",