[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: facemenu-unlisted-faces

From: Richard Stallman
Subject: Re: facemenu-unlisted-faces
Date: Sun, 09 Jul 2006 15:03:30 -0400

    I argued that we could treat fixed-pitchness in the UI the
    same way we treat boldness, and there is no need for users to monkey with
    face `fixed-pitch' at this level.

It would be a nice interface, but we can't make it work.  There is a
rule for how to take a font name and get the corresponding bold font.
There is no such rule for finding a fixed-width equivalent.
All we can do is offer ONE fixed-width font.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]