Almost certainly caused by http://bugzilla.gnome.org/show_bug.cgi?id=97703; haven't seen an upstream bug about this. Should Thomas' changes only take effect for maximized windows? -- Resizing a window is difficult https://launchpad.net/bugs/58759