[BLUEJ-796] Resizing the Java editor window on HiDPI has very weird effects.
Sometimes the whole text area will vanish and other times the result is messy.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.0.0
Sometimes the whole text area will vanish and other times the result is messy.
Issue metadata