#6 Window size explodes

[Timo Savola]

Sometimes, when the environment window is not
maximized, something (one of the views?) causes the
window's width to grow until the window is several
thousand pixels wide.