Testing needed for Layout fixes

[Jakob Kummerow]

> So I've made some more changes today. Please update from Git, test
> again, and report here. This is really important for us!

(1) Maximizing and restoring breaks the previous proportions.
Regression compared to yesterday.
(2) Manually resizing breaks the proportions. Regression compared to yesterday.
(3) Killing and restarting preserves previous proportions.

In summary, I liked yesterday's version better :)


Jakob