#269 Mac OS X plugin - redundant Quit jEdit menu item

None
closed-rejected
nobody
None
5
2017-11-03
2004-02-16
Anonymous
No

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

Discussion

  • Alan Ezust

    Alan Ezust - 2011-11-27
    • assigned_to: nobody --> evanpw
     
  • Alan Ezust

    Alan Ezust - 2011-11-27
    • summary: Mac OS X plugin --> Mac OS X plugin - redundant exit menu item
     
  • Alan Ezust

    Alan Ezust - 2011-11-27
    • summary: Mac OS X plugin - redundant exit menu item --> Mac OS X plugin - redundant Quit jEdit menu item
     
  • Skeeve

    Skeeve - 2017-11-01

    Yes, the File -> Exit is redundant but I wouldn't remove it.

    1. It is not part of the Plugin so the Plugin would have to remove a standard jEdit menu entry.
    2. It might be useful for users used to jEdit on other platforms, just "visiting" jEdit.
     
  • Roman Tsourick

    Roman Tsourick - 2017-11-03

    Agree. 2. makes sense. closed-rejected?

     
  • Alan Ezust

    Alan Ezust - 2017-11-03
    • status: open --> closed-rejected
    • assigned_to: Evan Wright --> nobody
     

Log in to post a comment.