# HG changeset patch
# User wenzelm
# Date 1646049373 -3600
# Node ID 19454aac373c570107b5a2bc8031caed75e965f4
# Parent  837bcbe6083706aea599353db1621ae24a28c01a
tuned message;

diff -r 837bcbe60837 -r 19454aac373c src/Tools/VSCode/src/vscode_setup.scala
--- a/src/Tools/VSCode/src/vscode_setup.scala	Mon Feb 28 12:53:17 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_setup.scala	Mon Feb 28 12:56:13 2022 +0100
@@ -36,16 +36,16 @@
     (install_ok, install_dir)
   }
 
-  val init_settings = """{
-  "editor.fontFamily": "'Isabelle DejaVu Sans Mono'",
-  "editor.fontSize": 18,
-  "editor.lineNumbers": "off",
-  "editor.renderIndentGuides": false,
-  "editor.rulers": [80, 100],
-  "update.mode": "none",
-  "extensions.autoCheckUpdates": false,
-  "extensions.autoUpdate": false
-}
+  val init_settings = """  {
+    "editor.fontFamily": "'Isabelle DejaVu Sans Mono'",
+    "editor.fontSize": 18,
+    "editor.lineNumbers": "off",
+    "editor.renderIndentGuides": false,
+    "editor.rulers": [80, 100],
+    "update.mode": "none",
+    "extensions.autoCheckUpdates": false,
+    "extensions.autoUpdate": false
+  }
 """
 
 
@@ -219,7 +219,7 @@
   prints its directory location.
 
   The following initial settings are provided for a fresh installation:
-""" + cat_lines(split_lines(init_settings).map(s => "  " + s)) + "\n",
+""" + init_settings,
         "C" -> (_ => check = true),
         "U:" -> (arg => download_url = arg),
         "V:" -> (arg => version = arg),