Remove keybindings

No existing commands include default keybindings, so I believe the new features in #307 should not have added keybindings. This particular keybinding conflicts with existing system bindings, so removing this entirely will resolve #308. Signed-off-by: Eddy Ashton <[email protected]>
tlaplus · Oct 18, 2023 · dc1f15e · dc1f15e
1 parent cf04d98
commit dc1f15e
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",