[BLUEJ-869] The Java editor status bar is very thin
Resizing the window will not solve it. However, switching to the Documentation view will make it appear normal. Switching back to source will keep it normal. (macOS)
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.1.0