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"
                 }
             }
         }