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 Uri comparison, notably on Windows;
authorwenzelm
Fri, 03 Mar 2017 23:04:12 +0100
changeset 65097 ed2e33653438
parent 65096 27d376c33c02
child 65098 b47ba1778e44
more robust Uri comparison, notably on Windows;
src/Tools/VSCode/extension/src/decorations.ts file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/src/decorations.ts	Fri Mar 03 21:56:52 2017 +0100
+++ b/src/Tools/VSCode/extension/src/decorations.ts	Fri Mar 03 23:04:12 2017 +0100
@@ -44,9 +44,10 @@
 {
   let typ = types[decoration.type]
   if (typ) {
+    let uri = Uri.parse(decoration.uri).toString()
     let editor =
       vscode.window.visibleTextEditors.find(
-        function (editor) { return decoration.uri == editor.document.uri.toString() })
+        function (editor) { return uri == editor.document.uri.toString() })
     if (editor) editor.setDecorations(typ, decoration.content)
   }
 }
\ No newline at end of file
isabelle