[BLUEJ-848] Too many extensions: preferences pane doesn't scroll
A Blueroom user reports that if you have a lot of extensions installed, the extensions preferences pane grows too tall, but has no scroll bar. We should fix this by putting it in a scroll pane (not sure if Swing inside the SwingNode, or JavaFX outside the SwingNode; maybe the former).
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.0.0