src/Tools/VSCode/extension/src/extension.ts
changeset 64743 ebaf9d01a964
parent 64735 4ad6d21545bd
child 64750 1f855e03455f
equal deleted inserted replaced
64742:5f946e8887c5 64743:ebaf9d01a964
     8 
     8 
     9 
     9 
    10 export function activate(context: vscode.ExtensionContext)
    10 export function activate(context: vscode.ExtensionContext)
    11 {
    11 {
    12   let isabelle_home = vscode.workspace.getConfiguration("isabelle").get<string>("home");
    12   let isabelle_home = vscode.workspace.getConfiguration("isabelle").get<string>("home");
    13   let isabelle_arguments =
    13   let isabelle_args = vscode.workspace.getConfiguration("isabelle").get<Array<string>>("args");
    14     vscode.workspace.getConfiguration("isabelle").get<Array<string>>("arguments");
       
    15 
    14 
    16   let run = {
    15   let run = {
    17     command: path.join(isabelle_home, "bin", "isabelle"),
    16     command: path.join(isabelle_home, "bin", "isabelle"),
    18     args: ["vscode_server"].concat(isabelle_arguments)
    17     args: ["vscode_server"].concat(isabelle_args)
    19   };
    18   };
    20   let server_options: ServerOptions =
    19   let server_options: ServerOptions =
    21   {
    20   {
    22     run: run,
    21     run: run,
    23     debug: {
    22     debug: {