[Goodies-dev] Feature request Terminal

[0xc0decafe]

Hi,

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.

regards

Daniel