[Top][All Lists]

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

Re: kill ring menu

From: Richard Stallman
Subject: Re: kill ring menu
Date: Sat, 8 Jun 2002 13:15:31 -0600 (MDT)

    > 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)?

Yes, I think so.

                             If it does, should we keep

I don't see a need for that any more.  Those two features do
rather similar jobs, and the new one is more powerful.

Does anyone else see a reason to retain `font-lock-category-alist'?

reply via email to

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