#15 Redraw bug when enlarging editor area

[jfirechief]

DO NOT EDIT OR ANSWER THIS ISSUE. SEE THE ORIGINAL ISSUE INSTEAD:
https://www.jfire.org/modules/bugs/view.php?id=357
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).