[BLUEJ-874] Preferences menu appears twice in Java editor
In the Java editor, Preferences menu item appears twice: in BlueJ (Application) and Options menu.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.0.0
In the Java editor, Preferences menu item appears twice: in BlueJ (Application) and Options menu.
Issue metadata