[Goodies-dev] Feature request Terminal

[Mike Massonnet]

Le Sat, 21 Mar 2009 13:31:06 +0100,
0xc0decafe <0xc0decafe at googlemail.com> a écrit :

> 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.

Set the hidden setting MiscTabCloseButtons=FALSE and the tabs will be
smaller. In ~/.config/Terminal/terminalrc.

Mike