Hi there,Has anybody happen to know how to decrease the ugly tab height of the gnome-terminal? I've seem some guys editing the ~/.config/gtk-3.0/gtk.css for decrease the gnome-terminal title-bar, but i would like to change the tab height.
If you know how, please, drop me a line.
PS: for gnome-terminal-3.16.2-r2
