Joined: 28 Jul 2005
Location: Sao Paulo, Brazil
|Posted: Fri Nov 13, 2015 8:32 pm Post subject: decrease tab height of gnome-terminal
Has anybody managed how to decrease the tab height of the gnome-terminal?
I've seem some guys editing the ~/.config/gtk-3.0/gtk.css for the title-bar height, but i would like to change the tab height.
If you know how, please, drop me a line.
EDIT: for gnome-terminal-3.16.2-r2