different fonts in Terminal

[Stefan M. Brandl]

On Thu, May 27, 2010 at 11:40:33AM +0200, Nick Schermer wrote:
> On Thu, May 27, 2010 at 10:38 AM, Stefan M. Brandl <smb at r-kom.de> wrote:
> > Hi there,
> > I'm, a happy user of the xfce4 Terminal.
> > The only thing I miss, is to have different font-sizes.
> > If I open two (or more) Terminals and I change the font-size in
> > one Terminal it also changes in the other.
> > Is it possible to start an option that changes the font-size only
> > for this Terminal?
> 
> Not yet, there is a bug about implementing profiles for tterminal at
> some level, but I won't get to that any time soon.
> 

Wouldn't it eventually be easy to implement a option to use
a different  terminalrc  (with different font-settings)?


Stefan