Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust;
authorwenzelm
Wed, 02 Mar 2022 16:46:16 +0100
changeset 75184 a806c2dd3d1d
parent 75183 b0efc5576118
child 75185 69020ce9f172
more robust;
src/Tools/VSCode/extension/src/extension.ts file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/src/extension.ts	Wed Mar 02 16:08:17 2022 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Wed Mar 02 16:46:16 2022 +0100
@@ -32,7 +32,7 @@
     const isabelle_args =
       ["-o", "vscode_unicode_symbols", "-o", "vscode_pide_extensions"]
         .concat(vscode_lib.get_configuration<Array<string>>("args"))
-        .concat(roots.length > 0 && workspace_dir !== undefined ? ["-D", workspace_dir] : [])
+        .concat(roots.length > 0 && workspace_dir ? ["-D", library.standard_path(workspace_dir)] : [])
 
     const server_options: ServerOptions =
       platform.is_windows() ?
isabelle