Merge remote-tracking branch 'origin/windows-fix' into monaco

hhu-adam · Jan 13, 2025 · ff0b6df · ff0b6df
2 parents f789769 + c12ea25
commit ff0b6df
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/vscode-lean4/src/utils/exturi.ts b/vscode-lean4/src/utils/exturi.ts
@@ -10,6 +10,8 @@ export class FileUri {
     fsPath: string
 
     constructor(fsPath: string) {
+        // TODO: Is this robust on Windows???
+        fsPath = fsPath.replaceAll('\\', '/')
         this.scheme = 'file'
         this.fsPath = fsPath
     }