[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
`font-lock-category-alist'?
- Re: kill ring menu, Richard Stallman, 2002/06/01
- Re: kill ring menu, Colin Walters, 2002/06/04
- Re: kill ring menu, Richard Stallman, 2002/06/06
- Re: kill ring menu,
Colin Walters <=
- Re: kill ring menu, Miles Bader, 2002/06/07
- Re: kill ring menu, Richard Stallman, 2002/06/08
- Re: kill ring menu, Colin Walters, 2002/06/08
- Re: kill ring menu, Miles Bader, 2002/06/09
- Re: kill ring menu, Colin Walters, 2002/06/09
- Re: kill ring menu, Colin Walters, 2002/06/09
- Re: kill ring menu, Miles Bader, 2002/06/10
- Re: kill ring menu, Colin Walters, 2002/06/10
- Re: kill ring menu, Miles Bader, 2002/06/10
- Re: kill ring menu, Colin Walters, 2002/06/12