[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: facemenu-unlisted-faces
From: |
Drew Adams |
Subject: |
RE: facemenu-unlisted-faces |
Date: |
Sun, 9 Jul 2006 13:01:18 -0700 |
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.
Right, but we need not do that via a face. We could simply add face
attribute :font-family "Courier" (or whatever) to the text that the user
selects.
Again, to avoid more misunderstanding, my personal preference is that we not
include fixed pitchness at the top level of menu Text Properties at all. It
is enough that we make fixed pitchness available in these two ways:
- by changing the font, using the font menu
- by applying face `fixed-pitch', using the Face... item,
which would open (an active version of) the faces list
- Re: facemenu-unlisted-faces, (continued)
- Re: facemenu-unlisted-faces, Robert J. Chassell, 2006/07/09
- RE: facemenu-unlisted-faces, Drew Adams, 2006/07/09
- Re: facemenu-unlisted-faces, Robert J. Chassell, 2006/07/09
- Re: facemenu-unlisted-faces, Richard Stallman, 2006/07/09
- RE: facemenu-unlisted-faces, Drew Adams, 2006/07/09
- Re: facemenu-unlisted-faces, Richard Stallman, 2006/07/09
- RE: facemenu-unlisted-faces,
Drew Adams <=
- Re: facemenu-unlisted-faces, Sascha Wilde, 2006/07/13
- Re: facemenu-unlisted-faces, tomas, 2006/07/13
- Re: facemenu-unlisted-faces, Robert J. Chassell, 2006/07/13
- RE: facemenu-unlisted-faces, Drew Adams, 2006/07/13
- Re: facemenu-unlisted-faces, Miles Bader, 2006/07/13
- RE: facemenu-unlisted-faces, Drew Adams, 2006/07/13
- Re: facemenu-unlisted-faces, Miles Bader, 2006/07/13
- RE: facemenu-unlisted-faces, Drew Adams, 2006/07/14
- Re: facemenu-unlisted-faces, Miles Bader, 2006/07/19
- Re: facemenu-unlisted-faces, Richard Stallman, 2006/07/16