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
Yes, the File -> Exit is redundant but I wouldn't remove it.
Agree. 2. makes sense. closed-rejected?
Log in to post a comment.