Re: setting gnome-terminal font
On Fri, May 30, 2003 at 10:35:53PM +0300, Mpiktas wrote:
> I have one problem with selecting one specific font in gnome-terminal quite
> for a long time. It is my favorite monospace font:
I had the same problem which a discussion on the fontconfig list resolved.
fontconfig's list archive seems to be down at the moment otherwise I'd send you
a link. Here's the relevant bit:
On Thu, 01 May 2003, Keith Packard wrote:
>Around 22 o'clock on Apr 30, Ryan Lovett wrote:
>> For example when I have 'Fixed 10' selected in gnome-terminal, any of the
>> above fonts will be used over 6x13 (where the above fonts also follow some
>> sort of pecking order).
>
>6x13 is a semicondensed face, so you'll have to make sure you request it by
>setting the width to semicondensed instead of normal. You can do this in
>your .fonts.conf with:
>
> <match target="pattern">
> <!-- match family "fixed" -->
> <test name="family">
> <string>fixed</string>
> </test>
> <!-- make sure width wasn't specified -->
> <test name="width" qual="all">
> <int>-1</int>
> </test>
> <!-- set the width to semicondensed to prefer 6x13 -->
> <edit name="width">
> <const>semicondensed</const>
> </edit>
> </match>
This works great with current gnome-terminal (Debian libvte4=0.11.0-2) when
VTE_USE_DRAW=0. It also works fine with other GNOME2 apps.
Thanks!
Ryan
My font setting in gnome-terminal is Fixed 10 and the terminal displays the
familiar 'fixed' font, a.k.a.
-misc-fixed-medium-r-normal--13-120-75-75-c-70-iso8859-13
Ryan
Reply to: