# HG changeset patch
# User wenzelm
# Date 1413922686 -7200
# Node ID 3600ee38daa071ea8fd88c6ce84f6920b8d23bcf
# Parent  e55fe82f3803ba8b64f7298a7c0d3b1a1a078149
foldPainter like Windows L&F;

diff -r e55fe82f3803 -r 3600ee38daa0 Admin/lib/Tools/makedist_bundle
--- a/Admin/lib/Tools/makedist_bundle	Tue Oct 21 21:55:45 2014 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Tue Oct 21 22:18:06 2014 +0200
@@ -187,7 +187,9 @@
     purge_contrib '-name "x86*-linux" -o -name "x86*-darwin"'
     mv "$ISABELLE_TARGET/contrib/windows_app" "$TMP/."
 
-    perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \
+    perl -pi \
+      -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \
+      -e "s,foldPainter=.*,foldPainter=Square,g;" \
       "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
 
     (