# 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("home"); + let isabelle_arguments = + vscode.workspace.getConfiguration("isabelle").get>("arguments"); let run = { command: path.join(isabelle_home, "bin", "isabelle"), - args: ["vscode_server"] + args: ["vscode_server"].concat(isabelle_arguments) }; let server_options: ServerOptions = {