[BLUEJ-1235] Preferences -> Libraries... allows selection of folders
It is possible to select a folder/directory as a "library" in the BlueJ preferences. However, this does not work. We decided not to fix this (BLUEJ-322) however the UI should be fixed to not allow selection of a folder.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.2.0