--- 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"
(