NOTE: A build of the vanilla upstream project does NOT exhibit this behavior, so I do believe this is a Ubuntu bug, not eligible for triage.
In particular, the gnome-terminal binary that is arrived at through this sequence does NOT have the bug. wget http://ftp.gnome.org/pub/gnome/sources/gnome-terminal/3.4/gnome-terminal-3.4.1.1.tar.xz tar xJvf gnome-terminal-3.4.1.1.tar.xz cd gnome-terminal-3.4.1.1/ sudo aptitude build-dep gnome-terminal ./configure make ./src/gnome-terminal -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1005729 Title: gnome-terminal resizes to max height when mousing over gnome panel To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1005729/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
