... and it's back on later upgrade. Not sure the circumstances but for
a bit at least it *was* good.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1040885
Title:
gnome-ter
seems resolved for me after recent update/upgrade on 6-Nov-2012
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1040885
Title:
gnome-terminal auto-restores its size
To manag
