# HG changeset patch
# User wenzelm
# Date 1749932457 -7200
# Node ID 08dec4389293acb59f859effd5c68d66bdfe6861
# Parent  6cb555f61f353a0c7401aef22ab84f3052d6b0d6
tuned whitespace;

diff -r 6cb555f61f35 -r 08dec4389293 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Sat Jun 14 22:19:58 2025 +0200
+++ b/src/Pure/Admin/build_release.scala	Sat Jun 14 22:20:57 2025 +0200
@@ -317,7 +317,7 @@
   """ + script_classpath + """ \
   "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
 """ + (if (dock_icon) """"-Xdock:icon=$ISABELLE_HOME/lib/logo/isabelle_transparent-128.png" \
-""" else "") + """isabelle.jedit.JEdit_Main "$@"
+""" else "") + """  isabelle.jedit.JEdit_Main "$@"
 """
     val script_path = isabelle_target + Path.explode("lib/scripts/Isabelle_app")
     File.write(script_path, script)