src/Tools/VSCode/extension/src/extension.ts
changeset 64750 1f855e03455f
parent 64743 ebaf9d01a964
child 64753 79ed396709e4
--- a/src/Tools/VSCode/extension/src/extension.ts	Mon Jan 02 14:14:33 2017 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Mon Jan 02 14:25:46 2017 +0100
@@ -23,7 +23,9 @@
       command: run.command,
       args: run.args.concat(["-L", path.join(context.extensionPath, "protocol.log")]) }
   };
-  let client_options: LanguageClientOptions = { documentSelector: "isabelle" };
+  let client_options: LanguageClientOptions = {
+    documentSelector: ["isabelle", "isabelle-ml"]
+  };
 
   let disposable = new LanguageClient("Isabelle", server_options, client_options, false).start();
   context.subscriptions.push(disposable);