GNOME Bugzilla – Bug 610641
selected tab affects window size
Last modified: 2021-06-10 20:05:35 UTC
steps to reproduce: 1) open up gnome-terminal 2) press ctrl+shift+t to open a second tab 3) press ctrl++ to make the font size bigger 4) switch back to the first tab what happens: The window grows bigger on ctrl++, and smaller on switching to the first tab what should happen: The window size should remain constant. This requires adding some padding around the actual terminal, when the screen space is not directly divisible with the size of characters. Some might argue that support for the padding is not necessary, if we decide to use a common font size for all the tabs. This is not true, as support for such a padding is always needed when the terminal is running in full screen mode.
This is still happening in gnome-terminal 3.4.1.1 (on Ubuntu Precise).
*** Bug 611664 has been marked as a duplicate of this bug. ***
-- GitLab Migration Automatic Message -- This bug has been migrated to GNOME's GitLab instance and has been closed from further activity. You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-terminal/-/issues/6967.