[GREENFOOT-521] Java editor does not remember size
The Java editor currently always opens at the preferred height of the content (extending to full screen height if the file is long).
If you resize, then close and reopen, it resizes. It should remember its position and size between open and close, and, indeed, between sessions.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 3.0.2