# HG changeset patch
# User wenzelm
# Date 1646235976 -3600
# Node ID a806c2dd3d1d2c0bbdf96af2fb1054e0c40b5f78
# Parent  b0efc5576118ab167a329ce528ffc4bca3d185be
more robust;

diff -r b0efc5576118 -r a806c2dd3d1d src/Tools/VSCode/extension/src/extension.ts
--- 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() ?