Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/src/decorations.ts
changeset 65097 ed2e33653438
parent 65095 eb21a4f70b0e
child 65098 b47ba1778e44 
--- 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