Here is a patch that fixes the problem. The linked bug at GNOME, #156332, seems to describe a different problem entirely. In that bug the window's width is changing, whereas this bug is about the window's height.
** Patch added: "use the correct widget allocation variables to calculate the new window height when showing controls" http://launchpadlibrarian.net/43731510/resize.patch -- resizing is wrong when re-enabling "show controls" https://bugs.launchpad.net/bugs/534083 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
