| changeset 53883 | f1c5f857df3d |
| parent 53772 | 30de372ca56f |
| child 53933 | 7924d61b50cf |
--- a/src/Tools/jEdit/src/jEdit.props Wed Sep 25 15:26:19 2013 +0200 +++ b/src/Tools/jEdit/src/jEdit.props Wed Sep 25 15:40:34 2013 +0200 @@ -225,6 +225,7 @@ lookAndFeel=javax.swing.plaf.nimbus.NimbusLookAndFeel match-bracket.shortcut2=C+9 next-bracket.shortcut2=C+e C+9 +plugin-blacklist.MacOSX.jar=true plugin.MacOSXPlugin.altDispatcher=false plugin.MacOSXPlugin.disableOption=true prev-bracket.shortcut2=C+e C+8