Gentoo Forums :: View topic - decrease tab height of gnome-terminal

decrease tab height of gnome-terminal

View unanswered posts
View posts from last 24 hours
View posts from last 7 days

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

Posted: Fri Nov 13, 2015 8:32 pm Post subject: decrease tab height of gnome-terminal

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

Display posts from previous:

	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

Copyright 2001-2024 Gentoo Foundation, Inc. Designed by Kyle Manna © 2003; Style derived from original subSilver theme. | Hosting by Gossamer Threads Inc. © | Powered by phpBB 2.0.23-gentoo-p11 © 2001, 2002 phpBB Group
Privacy Policy