[BLUEJ-798] Repeatedly opening project moves divider up each time
Open a project, close it. (Specifically: re-open BlueJ with same default project) Repeat, and the divider just keeps on moving up the window. Window same size every time, just the divider creeping up, until the top part reaches minimum size.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.0.0preview2