Size of tabs is not respected when font is resized
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
GNOME Terminal |
Invalid
|
Low
|
|||
gnome-terminal (Ubuntu) |
Triaged
|
Wishlist
|
Ubuntu Desktop Bugs |
Bug Description
Binary package hint: gnome-terminal
Hello,
This is mainly a simple usability thing on gnome-terminal.
I like to work with multiple tabs, and sometimes I would like to give a particular type a different font size. Most often, I would expect that if I lower the font size on that type, I would see more characters when that tabs is active. And vice versa. But gnome-terminal only remember one size (in characters) for all the tabs. So, what I get is a smaller/bigger view of a terminal, when the font is resized.
I think that could exist simple configuration options:
- One window size for all tabs:
The size of the gnome-terminal's windows is the same to all tabs, whatever font size they use. The smaller the font, the more characters will be viewed on the tabs terminal. The window shouldn't change size when changing tabs (except maybe some pixels to make no parcial chars on the terminals).
I think this should be most intuitive, and thus the default option.
- Independent window size for each tab:
Each tab has a window size associated with it (number of horiz. and vertical chars, and font size).
Not the default because this may not be the expected behavior for new user, and may get very wacky (annoying) by disastrous people not undertanding the behavior. Option to reset all tabs' size could appear on tab menu (or otherwise be enabled when this behavior is choosen).
Good bye.
ProblemType: Bug
Architecture: i386
Date: Fri Nov 21 15:13:06 2008
DistroRelease: Ubuntu 8.04
ExecutablePath: /usr/bin/
NonfreeKernelMo
Package: gnome-terminal 2.22.1-0ubuntu2
PackageArchitec
ProcEnviron:
PATH=/
LANG=en_US.UTF-8
SHELL=/bin/bash
SourcePackage: gnome-terminal
Uname: Linux 2.6.24-21-generic i686
Changed in gnome-terminal: | |
importance: | Undecided → Wishlist |
Changed in gnome-terminal: | |
importance: | Unknown → Low |
Changed in gnome-terminal: | |
status: | Unknown → Invalid |
font size independent for tabs ia known issue, you can track it here: http:// bugzilla. gnome.org/ show_bug. cgi?id= 560490 ; please also remember to describe only one issue per report.