# HG changeset patch
# User wenzelm
# Date 1483274300 -3600
# Node ID 12558536d977c71e598edc2eca9979fbd5bbf1f0
# Parent  20174e87162325a3230b72b22e545e4d95befc6a
more configuration;

diff -r 20174e871623 -r 12558536d977 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Sun Jan 01 13:15:50 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Sun Jan 01 13:38:20 2017 +0100
@@ -36,6 +36,12 @@
                     "type": "string",
                     "default": "",
                     "description": "ISABELLE_HOME directory"
+                },
+                "isabelle.arguments": {
+                    "type": "array",
+                    "items": { "type": "string" },
+                    "default": [],
+                    "description": "command-line arguments for isabelle vscode_server"
                 }
             }
         }
diff -r 20174e871623 -r 12558536d977 src/Tools/VSCode/extension/src/extension.ts
--- a/src/Tools/VSCode/extension/src/extension.ts	Sun Jan 01 13:15:50 2017 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Sun Jan 01 13:38:20 2017 +0100
@@ -9,11 +9,13 @@
 
 export function activate(context: vscode.ExtensionContext)
 {
-  let isabelle_home = vscode.workspace.getConfiguration("isabelle").get("home");
+  let isabelle_home = vscode.workspace.getConfiguration("isabelle").get<string>("home");
+  let isabelle_arguments =
+    vscode.workspace.getConfiguration("isabelle").get<Array<string>>("arguments");
 
   let run = {
     command: path.join(isabelle_home, "bin", "isabelle"),
-    args: ["vscode_server"]
+    args: ["vscode_server"].concat(isabelle_arguments)
   };
   let server_options: ServerOptions =
   {