[Goodies-dev] Feature request Terminal

[Mike Massonnet]

Please bottom-post.

Le Sat, 21 Mar 2009 16:14:27 +0100,
0xc0decafe <0xc0decafe at googlemail.com> a écrit :

> Hi,
> 
> 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 ;-)

There are two ways, 1) right click the tab and select Close tab 2) go
to edit > preferences > shortcuts, the default shortcut to close the
tab (!= closing the shell) is ctrl+shift+w.

Mike

> regards
> 
> daniel
> 
> Mike Massonnet schrieb:
> > 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
> > _______________________________________________
> > Goodies-dev mailing list
> > Goodies-dev at xfce.org
> > http://foo-projects.org/mailman/listinfo/goodies-dev
> >   
> _______________________________________________
> Goodies-dev mailing list
> Goodies-dev at xfce.org
> http://foo-projects.org/mailman/listinfo/goodies-dev