different fonts in Terminal

Nick Schermer nickschermer at gmail.com
Thu May 27 14:05:42 CEST 2010


On Thu, May 27, 2010 at 1:35 PM, Stefan M. Brandl <smb at r-kom.de> wrote:
> 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)?

That was the idea.

Nick



More information about the Xfce mailing list