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 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
