gnome-terminal tab addition/deletion resize issue
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-terminal (Ubuntu) |
New
|
Undecided
|
Unassigned |
Bug Description
Adding and removing tabs can sometimes cause the window to grow and shrink in different directions, top or bottom.
To reproduce, use gnome and have the dock at the bottom of the screen. Open a new gnome-terminal and move the new gnome-terminal window so that the bottom is pushed up against the top of the dock. Now, CTRL-SHIFT-T to open a new gnome-terminal tab. The window will grow in height from the top, as expected.
Now close that new tab. The window will not shrink from the top of the window where it grew from. Instead it will shrink up away from the dock.
In situations where you have many different gnome-terminal windows open for development work, you end up with wasted bars between the dock and the terminal windows, and the windows will overlap.
PRETTY_NAME="Ubuntu Kinetic Kudu (development branch)"
NAME="Ubuntu"
VERSION_ID="22.10"
VERSION="22.10 (Kinetic Kudu)"
VERSION_
ID=ubuntu
ID_LIKE=debian
HOME_URL="https:/
SUPPORT_URL="https:/
BUG_REPORT_URL="https:/
PRIVACY_
UBUNTU_
LOGO=ubuntu-logo
GNOME Terminal Version 3.46.2 for GNOME 43