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