tuned;
authorwenzelm
Mon Jan 02 09:39:00 2017 +0100 (2017-01-02)
changeset 64743ebaf9d01a964
parent 64742 5f946e8887c5
child 64744 ba0d4829d5f1
tuned;
src/Tools/VSCode/extension/package.json
src/Tools/VSCode/extension/src/extension.ts
     1.1 --- a/src/Tools/VSCode/extension/package.json	Mon Jan 02 09:38:06 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Mon Jan 02 09:39:00 2017 +0100
     1.3 @@ -42,7 +42,7 @@
     1.4                      "default": "",
     1.5                      "description": "ISABELLE_HOME directory"
     1.6                  },
     1.7 -                "isabelle.arguments": {
     1.8 +                "isabelle.args": {
     1.9                      "type": "array",
    1.10                      "items": { "type": "string" },
    1.11                      "default": [],
     2.1 --- a/src/Tools/VSCode/extension/src/extension.ts	Mon Jan 02 09:38:06 2017 +0100
     2.2 +++ b/src/Tools/VSCode/extension/src/extension.ts	Mon Jan 02 09:39:00 2017 +0100
     2.3 @@ -10,12 +10,11 @@
     2.4  export function activate(context: vscode.ExtensionContext)
     2.5  {
     2.6    let isabelle_home = vscode.workspace.getConfiguration("isabelle").get<string>("home");
     2.7 -  let isabelle_arguments =
     2.8 -    vscode.workspace.getConfiguration("isabelle").get<Array<string>>("arguments");
     2.9 +  let isabelle_args = vscode.workspace.getConfiguration("isabelle").get<Array<string>>("args");
    2.10  
    2.11    let run = {
    2.12      command: path.join(isabelle_home, "bin", "isabelle"),
    2.13 -    args: ["vscode_server"].concat(isabelle_arguments)
    2.14 +    args: ["vscode_server"].concat(isabelle_args)
    2.15    };
    2.16    let server_options: ServerOptions =
    2.17    {