Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
prevent dedicated MacOSX plugin from switching off vital workarounds;
authorwenzelm
Wed, 12 Dec 2012 16:28:18 +0100
changeset 50492 8d8e882c7fbe
parent 50491 0faaa279faee
child 50493 2bf3bfbb422d
prevent dedicated MacOSX plugin from switching off vital workarounds;
src/Tools/jEdit/src/jEdit.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jEdit.props	Wed Dec 12 14:54:48 2012 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Wed Dec 12 16:28:18 2012 +0100
@@ -205,6 +205,8 @@
 line-end.shortcut=END
 line-home.shortcut=HOME
 lookAndFeel=javax.swing.plaf.nimbus.NimbusLookAndFeel
+plugin.MacOSXPlugin.altDispatcher=true
+plugin.MacOSXPlugin.disableOption=true
 print.font=IsabelleText
 restore.remote=false
 restore=false
isabelle