src/Tools/VSCode/src/build_vscodium.scala

--- a/src/Tools/VSCode/src/build_vscodium.scala	Wed Nov 30 21:53:55 2022 +0100
+++ b/src/Tools/VSCode/src/build_vscodium.scala	Wed Nov 30 22:07:59 2022 +0100
@@ -372,9 +372,7 @@
 
     /* settings */
 
-    File.write(component_dir.settings,
-      """# -*- shell-script -*- :mode=shellscript:
-
+    component_dir.write_settings("""
 ISABELLE_VSCODIUM_HOME="$COMPONENT/${ISABELLE_WINDOWS_PLATFORM64:-$ISABELLE_PLATFORM64}"
 
 if [ "$ISABELLE_PLATFORM_FAMILY" = "macos" ]; then