[Goodies-dev] Feature request Terminal
0xc0decafe at googlemail.com
Sat Mar 21 16:14:27 CET 2009
thanks for the fast answer !
you're right, the tabs are a lot smaler now, but unfortunately the close
button disappears (which is very useful, if some app crashes the shell
and ctrg+d isn't working anymore)
i just took a second look into the code and thought about how to control
the size. i recognized that the size depends on the picture used for the
closed button. i'm not that deep in gtk, so i don't know if there is a
way to dynamically resize pictures.
is there a shortcut in replace of the close button, as that would fit my
needs perfectly ;-)
Mike Massonnet schrieb:
> Le Sat, 21 Mar 2009 13:31:06 +0100,
> 0xc0decafe <0xc0decafe at googlemail.com> a écrit :
>> 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.
> Goodies-dev mailing list
> Goodies-dev at xfce.org
More information about the Goodies-dev