src/Tools/jEdit/src/jEdit.props

 lang.usedefaultlocale=false
 largefilemode=full
 line-end.shortcut=END
 line-home.shortcut=HOME
 lookAndFeel=javax.swing.plaf.nimbus.NimbusLookAndFeel
-plugin.MacOSXPlugin.altDispatcher=true
+plugin.MacOSXPlugin.altDispatcher=false
 plugin.MacOSXPlugin.disableOption=true
 print.font=IsabelleText
 restore.remote=false
 restore=false
 sidekick-tree.dock-position=right