# HG changeset patch
# User wenzelm
# Date 1497257490 -7200
# Node ID 1494f3aa819415bef72e4db838ba3f5885260758
# Parent  5a00cec6bc8271a87f2a7b296010e7ff65414a88
clarified;

diff -r 5a00cec6bc82 -r 1494f3aa8194 src/Tools/VSCode/extension/src/preview.ts
--- a/src/Tools/VSCode/extension/src/preview.ts	Mon Jun 12 10:48:26 2017 +0200
+++ b/src/Tools/VSCode/extension/src/preview.ts	Mon Jun 12 10:51:30 2017 +0200
@@ -11,7 +11,7 @@
 
 /* Uri information */
 
-const preview_uri_template = Uri.parse("isabelle-preview:Preview")
+const preview_uri_template = Uri.parse("isabelle-preview:")
 const preview_uri_scheme = preview_uri_template.scheme
 
 function encode_preview(document_uri: Uri | undefined): Uri | undefined