src/Tools/VSCode/extension/src/extension.ts
changeset 64750 1f855e03455f
parent 64743 ebaf9d01a964
child 64753 79ed396709e4
equal deleted inserted replaced
64749:2450b62574c6 64750:1f855e03455f
    21     run: run,
    21     run: run,
    22     debug: {
    22     debug: {
    23       command: run.command,
    23       command: run.command,
    24       args: run.args.concat(["-L", path.join(context.extensionPath, "protocol.log")]) }
    24       args: run.args.concat(["-L", path.join(context.extensionPath, "protocol.log")]) }
    25   };
    25   };
    26   let client_options: LanguageClientOptions = { documentSelector: "isabelle" };
    26   let client_options: LanguageClientOptions = {
       
    27     documentSelector: ["isabelle", "isabelle-ml"]
       
    28   };
    27 
    29 
    28   let disposable = new LanguageClient("Isabelle", server_options, client_options, false).start();
    30   let disposable = new LanguageClient("Isabelle", server_options, client_options, false).start();
    29   context.subscriptions.push(disposable);
    31   context.subscriptions.push(disposable);
    30 }
    32 }
    31 
    33