168 macos) |
168 macos) |
169 purge_contrib '-name "x86*-linux" -o -name "x86*-cygwin" -o -name "x86*-windows"' |
169 purge_contrib '-name "x86*-linux" -o -name "x86*-cygwin" -o -name "x86*-windows"' |
170 mv "$ISABELLE_TARGET/contrib/macos_app" "$TMP/." |
170 mv "$ISABELLE_TARGET/contrib/macos_app" "$TMP/." |
171 |
171 |
172 perl -pi \ |
172 perl -pi \ |
|
173 -e "s,action-bar.shortcut=.*,action-bar.shortcut2=,g;" \ |
173 -e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \ |
174 -e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \ |
174 -e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \ |
175 -e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \ |
175 -e "s,delete.shortcut2=.*,delete.shortcut2=A+d,g;" \ |
176 -e "s,delete.shortcut2=.*,delete.shortcut2=A+d,g;" \ |
176 -e "s,plugin-blacklist.MacOSX.jar=true,plugin-blacklist.MacOSX.jar=,g;" \ |
177 -e "s,plugin-blacklist.MacOSX.jar=true,plugin-blacklist.MacOSX.jar=,g;" \ |
177 "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props" |
178 "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props" |