Package: gnome-terminal Version: 3.0.1-1 Hi,
I have two maximized tabs in gnome-terminal, one of which has a smaller or larger font size ("zoomed" with Ctrl-plus or Ctrl-minus). I have a pretty uncustomized Wheezy (GNOME 3) desktop, on a 1366x768 screen. If I switch from the zoomed tab to the normal-size tab with Ctrl-PgUp/PgDwn, gnome-terminal seems to send a SIGWINCH to that tab, followed by another one, apparently resizing the window to the size of the zoomed tab, and then realizing that it's maximized and reverting to the old tab size.
It would be much smoother if the SIGWINCHes were simply not sent; since gnome-terminal is maximized, the number of rows and columns is not going to change based on the terminal resizing.
I'm happy to report this upstream if you'd like -- I didn't see anything along these lines in a cursory search of GNOME Bugzilla.
Thanks for looking into this, -- Geoffrey Thomas http://ldpreload.com geo...@ldpreload.com -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
