Re: kill ring menu

[Colin Walters]

On Thu, 2002-06-06 at 20:46, Richard Stallman wrote:
>     > It seems odd that O2's real `face'
>     > property should be ignored in favor of O1's mere alias in that case.
> 
>     I don't see it as particularly odd; I view the aliases as being
>     functionally equivalent to the actual properties when they're in effect.
> 
> I agree with you--for the sort of use we had in mind, the
> font-lock-face property either should be totally equivalent to a face
> property, or not at all.

Ok.  Well, do you think the patch should go in (along with the required
documentation updates)?  If it does, should we keep
`font-lock-category-alist'?