From: "Drew Adams" <drew.adams@oracle.com>
Subject: RE: facemenu-unlisted-faces
Date: Sun, 9 Jul 2006 13:29:15 -0700 [thread overview]
Message-ID: <EIENLHALHGIMHGDOLMIMCEIJCJAA.drew.adams@oracle.com> (raw)
In-Reply-To: <E1FzeZR-0001tu-5y@fencepost.gnu.org>
I can use the number 4 or not use it, but it remains the
number 4 - it is not changeable. I can apply the :bold
attribute to text or not, but it remains the unchangeable
:bold attribute; if applied, it always imposes boldness.
That is different from use of a face whose name happens
to be `bold', even if the face looks bold. Whether applied
to text or not, the `bold' face is not a constant, and its
name "bold" doesn't necessarily stand for how it looks.
I see your point now. However, the point is not a strong one, because
it would be perverse to define the face `bold' to do anything other than
make the text bold.
Yes.
Anyway, we don't need to discuss these subtleties in the text in the
menu.
Agreed. How we actually change the appearance of the text to fixed pitch is
pretty unimportant. What's important here is the user's view of what goes
on. I want to make sure that whatever we do here lets the user _think_ in
terms of simply applying a "property"/"style"/"attribute" to text, and
doesn't force understanding of faces at this point.
My point was in response to your statement (quoted below) about the
necessity to consider fixed pitch as a face. The _user_ need not consider it
a face when s?he chooses Fixed Pitch in the menu. We should not do anything
to point out that a face is being used (if it is in fact used, instead of
simply using text property :font-family "Courier" directly - see below).
"For 'fixed pitch', I think that can only be considered
as a face."
Fixed pitch _can_ be treated like any of the other constant
"properties", _if we want_.
No, it can't be done. I think you don't understand the problem.
Maybe. What's wrong with simply adding :font-family "Courier" as a text
property? If there are then conflicts with other face attributes applied to
the same text, then we can either 1) change the font (family) for that text
anyway, and remove any other, conflicting properties that were applied to
it, or 2) tell the user that fixed pitchness is incompatible (given the
current set of fonts) with the existing font (family) and text properties
used for that text (i.e. punt).
Face `fixed-pitch' just defines the :font-family as Courier - it has no
other face attributes. What's the difference in effect between setting
:font-family to Courier by changing to face `fixed-pitch', on the one hand,
and setting :font-family to Courier directly (as a text property), on the
other hand?
IOW, why can't we use a text property here? Yes, it might not be composable
with other properties that have been applied, but the same issue arises when
we use face `fixed-pitch', no?
next prev parent reply other threads:[~2006-07-09 20:29 UTC|newest]
Thread overview: 55+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-07-01 23:55 facemenu-unlisted-faces Richard Stallman
2006-07-02 0:33 ` facemenu-unlisted-faces Chong Yidong
2006-07-02 3:17 ` facemenu-unlisted-faces Drew Adams
2006-07-02 22:30 ` facemenu-unlisted-faces Richard Stallman
2006-07-02 23:50 ` facemenu-unlisted-faces Drew Adams
2006-07-03 7:44 ` facemenu-unlisted-faces David Kastrup
2006-07-03 14:34 ` facemenu-unlisted-faces Drew Adams
2006-07-04 12:55 ` facemenu-unlisted-faces Richard Stallman
2006-07-04 18:07 ` facemenu-unlisted-faces Drew Adams
2006-07-05 14:51 ` facemenu-unlisted-faces Richard Stallman
2006-07-05 16:55 ` facemenu-unlisted-faces Drew Adams
2006-07-06 13:32 ` facemenu-unlisted-faces Richard Stallman
2006-07-06 15:52 ` facemenu-unlisted-faces Drew Adams
2006-07-03 15:11 ` facemenu-unlisted-faces Chong Yidong
2006-07-03 16:48 ` facemenu-unlisted-faces Drew Adams
2006-07-04 12:55 ` facemenu-unlisted-faces Richard Stallman
2006-07-04 19:19 ` facemenu-unlisted-faces Drew Adams
2006-07-05 14:51 ` facemenu-unlisted-faces Richard Stallman
2006-07-05 16:54 ` facemenu-unlisted-faces Drew Adams
2006-07-06 13:32 ` facemenu-unlisted-faces Richard Stallman
2006-07-06 15:52 ` facemenu-unlisted-faces Drew Adams
2006-07-07 19:30 ` facemenu-unlisted-faces Richard Stallman
2006-07-07 22:49 ` facemenu-unlisted-faces Drew Adams
2006-07-08 15:31 ` facemenu-unlisted-faces Richard Stallman
2006-07-09 2:32 ` facemenu-unlisted-faces Drew Adams
2006-07-09 4:42 ` facemenu-unlisted-faces Miles Bader
2006-07-09 5:45 ` facemenu-unlisted-faces Drew Adams
2006-07-09 11:01 ` facemenu-unlisted-faces Miles Bader
2006-07-09 18:19 ` facemenu-unlisted-faces Drew Adams
2006-07-09 11:03 ` facemenu-unlisted-faces Robert J. Chassell
2006-07-09 18:19 ` facemenu-unlisted-faces Drew Adams
2006-07-09 21:08 ` facemenu-unlisted-faces Robert J. Chassell
2006-07-09 19:03 ` facemenu-unlisted-faces Richard Stallman
2006-07-09 20:29 ` Drew Adams [this message]
2006-07-09 19:03 ` facemenu-unlisted-faces Richard Stallman
2006-07-09 20:01 ` facemenu-unlisted-faces Drew Adams
2006-07-13 8:14 ` facemenu-unlisted-faces Sascha Wilde
2006-07-13 10:00 ` facemenu-unlisted-faces tomas
2006-07-13 10:49 ` facemenu-unlisted-faces Robert J. Chassell
2006-07-13 16:49 ` facemenu-unlisted-faces Drew Adams
2006-07-13 18:03 ` facemenu-unlisted-faces Miles Bader
2006-07-13 21:30 ` facemenu-unlisted-faces Drew Adams
2006-07-14 0:19 ` facemenu-unlisted-faces Miles Bader
2006-07-14 15:06 ` facemenu-unlisted-faces Drew Adams
2006-07-19 4:37 ` facemenu-unlisted-faces Miles Bader
2006-07-16 6:26 ` facemenu-unlisted-faces Richard Stallman
2006-07-16 17:33 ` facemenu-unlisted-faces Drew Adams
2006-07-17 16:06 ` facemenu-unlisted-faces Richard Stallman
2006-07-05 14:51 ` facemenu-unlisted-faces Richard Stallman
2006-07-05 16:55 ` facemenu-unlisted-faces Drew Adams
2006-07-09 14:12 ` facemenu-unlisted-faces Richard Stallman
2006-07-09 18:19 ` facemenu-unlisted-faces Drew Adams
2006-08-06 8:10 ` facemenu-unlisted-faces Drew Adams
2006-07-02 22:29 ` facemenu-unlisted-faces Richard Stallman
2006-07-03 14:34 ` facemenu-unlisted-faces Chong Yidong
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=EIENLHALHGIMHGDOLMIMCEIJCJAA.drew.adams@oracle.com \
--to=drew.adams@oracle.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).