You have been subscribed to a public bug:
I'm using Linux Mint 14 Nadia w/ Cinnamon and have seen the following
bug on both 32- and 64-bit systems.
Summary: If you resize the terminal window and want it to stay the new
size, the very first tab that was opened must have been or become active
at some point with the new size before you click out of the window.
Otherwise it will resize itself to its previous size. This is
reproducable always.
Some concrete examples of when it happens and doesn't happen:
- Open the default terminal (gnome-terminal).
- Open a new tab on that terminal. Now you have the original tab T1 and the
new tab T2.
- With T2 active, resize the window. Now click somewhere out of the terminal
(the desktop or another open window). The terminal goes back to its previous
size on its own. (Bug!)
- With T2 active, resize the window. Activate T1. Activate T2 again. Click
outside the window. The terminal stays at the new size (as expected).
- Go to tab T1. With T1 active, resize the window. Now click outside the
window. The terminal stays at the new size (as expected).
The following demonstrates that the tab that "remembers" the window size
is the first tab that was open, not the first tab as ordered from left
to right:
- Now drag and reorder the two tabs to be reverse of what they initially were.
I.e. the window contains tabs [[T2] [T1]]. Let's keep them named as-is.
- With T2 active, resize the window. Click outside the window. The terminal
goes back to its previous size. (Bug!)
- With T2 active, resize the window. Activate T1. Click outside the window.
The terminal stays at its new size (as expected).
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
--
gnome-terminal resizes itself unless on the first tab is activated
https://bugs.launchpad.net/bugs/1104788
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
