PreviousNextTracker indexSee it online !

(294/314) 898343 - Mac OS X plugin - redundant Quit jEdit menu item

Having the "Exit" option in the file menu in the menu bar is
redundant because of the "Quit jEdit" option in the jEdit menu in
the menu bar

Submitted nobody - 2004-02-16 - 22:17:23z Assigned evanpw
Priority 5 Category None
Status Open Group None
Resolution None Visibility No