Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/src/extension.ts
changeset 69322 ce6d43af5bcb
parent 66395 14146fb264d8
child 71475 7a867a38712a 
--- a/src/Tools/VSCode/extension/src/extension.ts	Wed Nov 21 14:45:24 2018 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Wed Nov 21 15:19:11 2018 +0100
@@ -41,7 +41,11 @@
         { command: isabelle_tool,
           args: ["vscode_server"].concat(standard_args, isabelle_args) };
     const language_client_options: LanguageClientOptions = {
-      documentSelector: ["isabelle", "isabelle-ml", "bibtex"]
+      documentSelector: [
+        { language: "isabelle", scheme: "file" },
+        { language: "isabelle-ml", scheme: "file" },
+        { language: "bibtex", scheme: "file" }
+      ]
     };
 
     const language_client =
isabelle