! Please note that this is a snapshot of our old Bugzilla server, which is read only since May 29, 2020. Please go to gitlab.xfce.org for our new server !
Make tab height customizable through a hidden pref.
Status:
RESOLVED: WONTFIX
Priority:
Medium
Severity:
enhancement
Product:
Xfce4-terminal
Component:
General

Comments

Description llevrel 2013-12-24 14:48:44 CET 
There seems to be no way currently to change the tab bar height. Thus it remains big even when the font size used inside is small.

There should be a way to resize it. IMHO a hidden pref would be relevant.
(Or maybe it could shrink to accomodate the font size.)

*PLEASE NOTE*: this request is similar to bug 4398. But that bug applied to 0.2, plus it was marked wontfix after a comment totally irrelevant to the description (that comment refers to close buttons, which are not mentioned whatsoever in the RFE!). So please don't mark this bug as a duplicate (or reopen the other one, but it may look awkward).
Comment 1 Igor editbugs 2016-09-12 20:23:53 CEST 
For gtk3, this could be done via CSS: https://www.reddit.com/r/gnome/comments/4e9s4d/size_of_tabs_in_gnometerminal/

Bug #10572

Reported by:
llevrel
Reported on: 2013-12-24
Last modified on: 2016-09-12

People

Assignee:
Nick Schermer
CC List:
2 users

Version

Version:
0.6.2
Target Milestone:
0.4

Attachments

Additional information