Archives
Archives
| From: | Frederico Moraes Ferreira <ferreirafm@×××.br> |
|---|---|
| To: | gentoo-science@l.g.o |
| Subject: | [gentoo-science] gnome-terminal tab height |
| Date: | Mon, 23 Nov 2015 14:16:19 |
| Message-Id: | 5653036E.5000309@usp.br |
| 1 | Hi there, |
| 2 | Has anybody happen to know how to decrease the ugly tab height of the |
| 3 | gnome-terminal? |
| 4 | I've seem some guys editing the ~/.config/gtk-3.0/gtk.css for decrease |
| 5 | the gnome-terminal title-bar, but i would like to change the tab height. |
| 6 | If you know how, please, drop me a line. |
| 7 | |
| 8 | PS: for gnome-terminal-3.16.2-r2 |