[Goodies-dev] Feature request Terminal

0xc0decafe 0xc0decafe at googlemail.com
Sat Mar 21 13:31:06 CET 2009


i would like to file a feature request for the xfce-goodie terminal: Is
it possible to implement a hight setting for the tab-bar, as this is the
only thing i cannot optimize in size for small resolutions. With a font
size of 10 or 9 the tab-bar looks over sized and is a waste of pixel ;-)
I just looked into the code and recognized the terminal_tab widget, but
even if i'll find the time to get myself into the code and implement the
feature, it wouldn't as clean as by someone who's in the code und hard
to get it upstream, too.



More information about the Goodies-dev mailing list