[BLUEJ-1028] Resizing window does not re-render breakpoint/step lines
Set a breakpoint in the editor, run into it, step a couple of times. You have a red line where the breakpoint is, and a green line where the step mark is. If you then resizing the window (in particular, its width), the red and green lines disappear until you later change the breakpoint/step forwards again. The margin markers are still shown correctly, so it's not completely awful, but those lines should be repainted after the resize.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.1.1