chiark / gitweb /
Just noticed yesterday that initial window sizing is broken on