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 -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
