[BLUEJ-476] Cannot open Preferences... option from Tools menu item
The preferences... option does not open. I can set options (e.g. miscellaneous options) from earlier version of BlueJ but this is not the case in 3.0.9.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 3.1.0