DO NOT EDIT OR ANSWER THIS ISSUE. SEE THE ORIGINAL ISSUE INSTEAD:
ORIGINAL REPORTER: marco
As can be seen in the attached screenshot, the editor area is distorted after enlarging it. This bug never occurs when shrinking the editor area and it does only sometimes occur when enlarging. I assume it depends on what operations are performed during resize (e.g. whether expensive buffer-recreations are necessary).