Wild guess: The editor cannot decide between displaying scroll bars or not. It first decides that it needs a vertical scroll bar, shrinks the level area accordingly, then notices that it actually doesn't need the scroll bar and forgets to enlarge the level area again.