# HG changeset patch
# User wenzelm
# Date 1647001034 -3600
# Node ID 5cae3e486cec654b822b692a2cc1522ab9352150
# Parent  0a440e255a64a4644d7fa1cccf9e5bdf812e65b2
tuned signature;

diff -r 0a440e255a64 -r 5cae3e486cec src/Tools/VSCode/extension/src/extension.ts
--- a/src/Tools/VSCode/extension/src/extension.ts	Fri Mar 11 13:07:06 2022 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Fri Mar 11 13:17:14 2022 +0100
@@ -45,9 +45,9 @@
 
     const language_client_options: LanguageClientOptions = {
       documentSelector: [
-        { language: "isabelle", scheme: "file" },
-        { language: "isabelle-ml", scheme: "file" },
-        { language: "bibtex", scheme: "file" }
+        { language: "isabelle", scheme: vscode_lib.file_scheme },
+        { language: "isabelle-ml", scheme: vscode_lib.file_scheme },
+        { language: "bibtex", scheme: vscode_lib.file_scheme }
       ]
     }
 
diff -r 0a440e255a64 -r 5cae3e486cec src/Tools/VSCode/extension/src/vscode_lib.ts
--- a/src/Tools/VSCode/extension/src/vscode_lib.ts	Fri Mar 11 13:07:06 2022 +0100
+++ b/src/Tools/VSCode/extension/src/vscode_lib.ts	Fri Mar 11 13:17:14 2022 +0100
@@ -8,9 +8,11 @@
 
 /* files */
 
+export const file_scheme: string = "file"
+
 export function is_file(uri: Uri): boolean
 {
-  return uri.scheme === "file"
+  return uri.scheme === file_scheme
 }
 
 export function find_file_editor(uri: Uri): TextEditor | undefined