Move to comparing the toString() of the uris, not the path, which had…

… case incompatibilities
dev-cycles · Nov 27, 2023 · 3eff2dd · 3eff2dd
1 parent 5c6f0aa
commit 3eff2dd
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/vscode/contextive/test/helpers/Helpers.fs b/src/vscode/contextive/test/helpers/Helpers.fs
@@ -36,11 +36,11 @@ let getDocUri relativeFile =
 
 let findUriInVisibleEditors (docUri: Uri) =
     window.visibleTextEditors.Find(fun te ->
-        printfn "docUri is: %s" (docUri.path)
+        printfn "docUri is: %s" (docUri.toString ())
         logInspect docUri
-        printfn "editors path is: %s" (te.document.uri.path)
+        printfn "editors path is: %s" (te.document.uri.toString ())
         logInspect te.document.uri
-        te.document.uri.path = docUri.path)
+        te.document.uri.toString () = docUri.toString ())
 
 let documentIsOpen docUri () =
     promise {