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