# HG changeset patch # User wenzelm # Date 1648050092 -3600 # Node ID f31fbe4e19095bbf6093ee4367f1170829731e47 # Parent d07c886a27a9efa662e4e7e36f08c212f5c000ff tuned signature; diff -r d07c886a27a9 -r f31fbe4e1909 src/Tools/VSCode/src/build_vscode_extension.scala --- 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) diff -r d07c886a27a9 -r f31fbe4e1909 src/Tools/VSCode/src/vscode_main.scala --- 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)