# HG changeset patch
# User wenzelm
# Date 1646049087 -3600
# Node ID c440b77c79c0d2524b73193d8f1bb5cf866a8b3a
# Parent  4fc51c9cf8fd5400e2fbc6dd591db0f009aeace7
tuned message;

diff -r 4fc51c9cf8fd -r c440b77c79c0 src/Tools/VSCode/src/vscode_setup.scala
--- a/src/Tools/VSCode/src/vscode_setup.scala	Mon Feb 28 12:41:48 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_setup.scala	Mon Feb 28 12:51:27 2022 +0100
@@ -36,12 +36,7 @@
     (install_ok, install_dir)
   }
 
-  def init_settings(): Unit =
-  {
-    if (!vscode_settings_user.is_file) {
-      Isabelle_System.make_directory(vscode_settings_user.dir)
-      File.write(vscode_settings_user, """
-{
+  val init_settings = """{
   "editor.fontFamily": "'Isabelle DejaVu Sans Mono'",
   "editor.fontSize": 18,
   "editor.lineNumbers": "off",
@@ -49,9 +44,7 @@
   "editor.rulers": [80, 100],
   "update.mode": "none"
 }
-""")
-    }
-  }
+"""
 
 
   /* patch resources */
@@ -128,7 +121,10 @@
   {
     val (install_ok, install_dir) = vscode_installation(version, platform)
 
-    init_settings()
+    if (!vscode_settings_user.is_file) {
+      Isabelle_System.make_directory(vscode_settings_user.dir)
+      File.write(vscode_settings_user, init_settings)
+    }
 
     if (check) {
       if (install_ok) progress.echo(install_dir.expand.implode)
@@ -219,7 +215,9 @@
 
   Option -C checks the existing installation (without download), and
   prints its directory location.
-""",
+
+  The following initial settings are provided for a fresh installation:
+""" + cat_lines(split_lines(init_settings).map(s => "  " + s)) + "\n",
         "C" -> (_ => check = true),
         "U:" -> (arg => download_url = arg),
         "V:" -> (arg => version = arg),