--- a/src/Tools/jEdit/src/plugin.scala Fri Oct 11 20:45:21 2013 +0200
+++ b/src/Tools/jEdit/src/plugin.scala Fri Oct 11 22:11:07 2013 +0200
@@ -228,26 +228,6 @@
}
- /* Mac OS X application hooks */
-
- def handleQuit(): Boolean =
- {
- jEdit.exit(jEdit.getActiveView(), true)
- false
- }
-
- def handlePreferences()
- {
- CombinedOptions.combinedOptions(jEdit.getActiveView())
- }
-
- def handleAbout(): Boolean =
- {
- new AboutDialog(jEdit.getActiveView())
- true
- }
-
-
/* main plugin plumbing */
override def handleMessage(message: EBMessage)