--- 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);