Gentoo Forums
Gentoo Forums
Gentoo Forums
Quick Search: in
decrease tab height of gnome-terminal
View unanswered posts
View posts from last 24 hours

 
Reply to topic    Gentoo Forums Forum Index Desktop Environments
View previous topic :: View next topic  
Author Message
ferreirafm
Guru
Guru


Joined: 28 Jul 2005
Posts: 487
Location: Sao Paulo, Brazil

PostPosted: Fri Nov 13, 2015 8:32 pm    Post subject: decrease tab height of gnome-terminal Reply with quote

Hi there,
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.
Best.

EDIT: for gnome-terminal-3.16.2-r2
Back to top
View user's profile Send private message
Display posts from previous:   
Reply to topic    Gentoo Forums Forum Index Desktop Environments All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum