[BLUEJ-828] Preference keyboard shortcut missing in Java Editor
The Preference menu keyboard shortcut missing for the editor menu (it is there in the main menu).
Issue metadata
- Issue type: Bug
- Priority: Low
- Fix versions: 4.0.0
The Preference menu keyboard shortcut missing for the editor menu (it is there in the main menu).
Issue metadata