tuned signature;

--- a/src/Tools/VSCode/src/build_vscode_extension.scala	Wed Mar 23 13:43:13 2022 +0100
+++ b/src/Tools/VSCode/src/build_vscode_extension.scala	Wed Mar 23 16:41:32 2022 +0100
@@ -148,7 +148,7 @@
 
     Isabelle_System.with_tmp_dir("build")(build_dir =>
     {
-      VSCode_Main.extension_manifest().write(build_dir)
+      VSCode_Main.extension_manifest().prepare_dir(build_dir)
 
       build_grammar(options, build_dir, logic = logic, dirs = dirs, progress = progress)
 

--- a/src/Tools/VSCode/src/vscode_main.scala	Wed Mar 23 13:43:13 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_main.scala	Wed Mar 23 16:41:32 2022 +0100
@@ -92,13 +92,13 @@
       terminate_lines(a :: bs)
     }
 
-    def check(dir: Path): Boolean =
+    def check_dir(dir: Path): Boolean =
     {
       val path = dir + MANIFEST.shasum
       path.is_file && File.read(path) == shasum
     }
 
-    def write(dir: Path): Unit =
+    def prepare_dir(dir: Path): Unit =
     {
       for (entry <- entries) {
         val path = Path.explode(entry)