# HG changeset patch
# User wenzelm
# Date 1483363546 -3600
# Node ID 1f855e03455fcb66dd059f1e8d2f692f059a43f4
# Parent  2450b62574c6975e4591a465feb2eda52db21946
proper use of isabelle-ml;

diff -r 2450b62574c6 -r 1f855e03455f src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Mon Jan 02 14:14:33 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Mon Jan 02 14:25:46 2017 +0100
@@ -17,7 +17,8 @@
     "engines": { "vscode": "^1.7.0" },
     "categories": ["Languages"],
     "activationEvents": [
-        "onLanguage:isabelle"
+        "onLanguage:isabelle",
+        "onLanguage:isabelle-ml"
     ],
     "main": "./out/src/extension",
     "contributes": {
diff -r 2450b62574c6 -r 1f855e03455f src/Tools/VSCode/extension/src/extension.ts
--- 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);