# HG changeset patch
# User wenzelm
# Date 1489090921 -3600
# Node ID ee569aac344b77b4367f528c5c1ead534ed8b37a
# Parent  f8aafbf2b02ecc1bc05412daeaa8f72eeb8e66b8
tuned;

diff -r f8aafbf2b02e -r ee569aac344b src/Tools/VSCode/extension/src/extension.ts
--- a/src/Tools/VSCode/extension/src/extension.ts	Thu Mar 09 21:17:32 2017 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Thu Mar 09 21:22:01 2017 +0100
@@ -24,14 +24,13 @@
   else {
     let isabelle_tool = isabelle_home + "/bin/isabelle"
     let standard_args = ["-o", "vscode_unicode_symbols", "-o", "vscode_pide_extensions"]
-    let run =
+
+    let server_options: ServerOptions =
       is_windows ?
         { command: cygwin_root + "/bin/bash",
           args: ["-l", isabelle_tool, "vscode_server"].concat(standard_args, isabelle_args) } :
         { command: isabelle_tool,
           args: ["vscode_server"].concat(standard_args, isabelle_args) };
-
-    let server_options: ServerOptions = { run: run, debug: run };
     let client_options: LanguageClientOptions = {
       documentSelector: ["isabelle", "isabelle-ml", "bibtex"]
     };