[Top][All Lists]

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

Re: kill ring menu

From: Colin Walters
Subject: Re: kill ring menu
Date: 07 Jun 2002 15:14:21 -0400

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

reply via email to

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