# HG changeset patch
# User wenzelm
# Date 1483346340 -3600
# Node ID ebaf9d01a9645763bb83353220905b8db48700e2
# Parent  5f946e8887c5481b63876aeaf602457d51fe4b97
tuned;

diff -r 5f946e8887c5 -r ebaf9d01a964 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Mon Jan 02 09:38:06 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Mon Jan 02 09:39:00 2017 +0100
@@ -42,7 +42,7 @@
                     "default": "",
                     "description": "ISABELLE_HOME directory"
                 },
-                "isabelle.arguments": {
+                "isabelle.args": {
                     "type": "array",
                     "items": { "type": "string" },
                     "default": [],
diff -r 5f946e8887c5 -r ebaf9d01a964 src/Tools/VSCode/extension/src/extension.ts
--- a/src/Tools/VSCode/extension/src/extension.ts	Mon Jan 02 09:38:06 2017 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Mon Jan 02 09:39:00 2017 +0100
@@ -10,12 +10,11 @@
 export function activate(context: vscode.ExtensionContext)
 {
   let isabelle_home = vscode.workspace.getConfiguration("isabelle").get<string>("home");
-  let isabelle_arguments =
-    vscode.workspace.getConfiguration("isabelle").get<Array<string>>("arguments");
+  let isabelle_args = vscode.workspace.getConfiguration("isabelle").get<Array<string>>("args");
 
   let run = {
     command: path.join(isabelle_home, "bin", "isabelle"),
-    args: ["vscode_server"].concat(isabelle_arguments)
+    args: ["vscode_server"].concat(isabelle_args)
   };
   let server_options: ServerOptions =
   {