Fix is included in upstream gnome-terminal 3.6.2: http://ftp.gnome.org/pub/gnome/sources/gnome-terminal/3.6/gnome-terminal-3.6.2.news
It's also the only fix in addition to some translation updates. So an upgrade to gnome-terminal 3.6.2 in Ubuntu 13.04 would be nice.. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1040885 Title: gnome-terminal auto-restores its size To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1040885/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
