--- a/src/Tools/VSCode/extension/src/extension.ts Sat Mar 11 12:24:54 2017 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts Sat Mar 11 14:03:46 2017 +0100
@@ -35,6 +35,9 @@
const isabelle_args = get_configuration().get<Array<string>>("args")
const cygwin_root = get_configuration().get<string>("cygwin_root")
+
+ /* server */
+
if (isabelle_home === "")
vscode.window.showErrorMessage("Missing user settings: isabelle.home")
else {
@@ -55,13 +58,21 @@
const client = new LanguageClient("Isabelle", server_options, client_options, false)
+
+ /* decorations */
+
decorations.init(context)
+ vscode.workspace.onDidChangeConfiguration(() => decorations.init(context))
vscode.window.onDidChangeActiveTextEditor(decorations.update_editor)
vscode.workspace.onDidCloseTextDocument(decorations.close_document)
+
client.onReady().then(() =>
client.onNotification(
new NotificationType<Decoration, void>("PIDE/decoration"), decorations.apply_decoration))
+
+ /* start server */
+
context.subscriptions.push(client.start());
}
}