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 327817 - Close button makes terminal tab too large in gnome-terminal 2.13.3
Close button makes terminal tab too large in gnome-terminal 2.13.3
Status: RESOLVED DUPLICATE of bug 327412
Product: gnome-terminal
Classification: Core
Component: general
2.13.x
Other Linux
: Normal enhancement
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2006-01-20 09:00 UTC by Theerud Lawtrakul
Modified: 2006-01-20 11:36 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Proposed patch (1.36 KB, patch)
2006-01-20 09:05 UTC, Theerud Lawtrakul 		committed Details | Review

Description Theerud Lawtrakul 2006-01-20 09:00:31 UTC 
Size of the close button on terminal tab (newly added in 2.13.3) does not get along with the tab label size. Other apps with tab (ie. gedit) look much better.
Comment 1 Olav Vitters 2006-01-20 09:03:02 UTC 
Thanks for the bug report. This particular bug has already been reported into our bug tracking system, but please feel free to report any further bugs you find.


*** This bug has been marked as a duplicate of 327412 ***
Comment 2 Theerud Lawtrakul 2006-01-20 09:05:58 UTC 
Created attachment 57705 [details] [review]
Proposed patch

This is based on how gedit works with tab button.
Comment 3 Theerud Lawtrakul 2006-01-20 09:15:19 UTC 
How fast, my bug was marked duplicated as soon as I filed it :). Look like this bug annoyed too many people.
Comment 4 Guilherme de Siqueira Pastore 2006-01-20 11:36:10 UTC 
Something based on your patch has been committed. Thanks!