From dc1f15ec36ef7a5ada28584362fe497f326d430a Mon Sep 17 00:00:00 2001 From: Eddy Ashton Date: Wed, 18 Oct 2023 10:36:43 +0100 Subject: [PATCH] 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 --- package.json | 6 ------ 1 file changed, 6 deletions(-) diff --git a/package.json b/package.json index 691dcc1..a2712c6 100644 --- 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",