Closes #19

anoma · Dec 23, 2022 · 33f2184 · 33f2184
1 parent b0e02ac
commit 33f2184
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/package.json b/package.json
@@ -350,16 +350,6 @@
         "command": "juvix-mode.loadFileRepl",
         "args": "Juvix: repl",
         "when": "(editorLangId == Juvix || editorLangId == JuvixCore)  && editorTextFocus"
-      },
-      {
-        "key": "alt+,",
-        "command": "workbench.action.navigateBack",
-        "when": "editorLangId == Juvix"
-      },
-      {
-        "key": "alt+.",
-        "command": "workbench.action.navigateForward",
-        "when": "editorLangId == Juvix"
       }
     ],
     "submenus": [