After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 110103 - window doesn't change size correctly when switching between tabs with different font sizes.
window doesn't change size correctly when switching between tabs with differe...
Status: VERIFIED INCOMPLETE
Product: gnome-terminal
Classification: Core
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2003-04-06 14:19 UTC by Tobias Abenius
Modified: 2009-08-15 18:40 UTC
See Also:
GNOME target: ---
GNOME version: 2.1/2.2


Description Tobias Abenius 2003-04-06 14:19:41 UTC 
Description of Problem:
Window doesn't change size correctly when
switching between tabs with different font sizes.

Actual Results:
Window could get larger or smaller than it should be..


How often does this happen? 
well... :) sometimes..
Comment 1 Mariano Suárez-Alvarez 2003-10-11 23:19:19 UTC 
I'd be very helpful if you could provide either a more explicit
description of what are the actual results you are seeing, or let us
know how to reproduce it.
Comment 2 Mariano Suárez-Alvarez 2003-11-11 22:03:40 UTC 
Closing, since we did not get any news from the reported.

Reporter, feel free to reopen, though.