src/Tools/VSCode/extension/src/extension.ts
changeset 64735 4ad6d21545bd
parent 64734 12558536d977
child 64743 ebaf9d01a964
equal deleted inserted replaced
64734:12558536d977 64735:4ad6d21545bd
    24       command: run.command,
    24       command: run.command,
    25       args: run.args.concat(["-L", path.join(context.extensionPath, "protocol.log")]) }
    25       args: run.args.concat(["-L", path.join(context.extensionPath, "protocol.log")]) }
    26   };
    26   };
    27   let client_options: LanguageClientOptions = { documentSelector: "isabelle" };
    27   let client_options: LanguageClientOptions = { documentSelector: "isabelle" };
    28 
    28 
    29   let disposable =
    29   let disposable = new LanguageClient("Isabelle", server_options, client_options, false).start();
    30     new LanguageClient("Isabelle Language Service", server_options, client_options, false).start();
       
    31   context.subscriptions.push(disposable);
    30   context.subscriptions.push(disposable);
    32 }
    31 }
    33 
    32 
    34 export function deactivate() { }
    33 export function deactivate() { }