[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Feature request] face property `raise'
From: |
Miles Bader |
Subject: |
Re: [Feature request] face property `raise' |
Date: |
13 May 2003 11:22:21 +0900 |
Richard Stallman <address@hidden> writes:
> c. category attribute
>
> ii. obsolete, use the symbol as an additional face (with lowest
> prio)
>
> That would be necessary.
Absolutely.
I'm not sure why it was suggested to be marked `obsolete' anyway --
`category' is a general abstraction mechanism for text properties
(and overlays), not an ad-hoc display-related property. Removing it
would reduce functionality, and making it not work for faces would
make them an annoying special case, which is obviously something to
avoid if possible.
-Miles
--
[|nurgle|] ddt- demonic? so quake will have an evil kinda setting? one that
will make every christian in the world foamm at the mouth?
[iddt] nurg, that's the goal