Merge pull request #188 from artagnon/bindings-scope

editor/code: scope keybinding alt+enter correctly
ejgallego · Jan 18, 2023 · a5bd23a · a5bd23a
2 parents b86637a + fd42ad8
commit a5bd23a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,6 +2,8 @@
 ----------------------
 
  - Support for OCaml 4.11 (@ejgallego, #184)
+ - The keybinding alt+enter in VSCode is now correctly scoped
+   (@artagnon, #188)
 
 # coq-lsp 0.1.3: Event
 ----------------------

diff --git a/editor/code/package.json b/editor/code/package.json
@@ -70,7 +70,7 @@
         "command": "coq-lsp.goals",
         "key": "alt+enter",
         "mac": "meta+enter",
-        "when": "editorFocus"
+        "when": "editorTextFocus && editorLangId == coq"
       }
     ],
     "configuration": [