Re: kill ring menu

[Richard Stallman]

    > 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
    `font-lock-category-alist'?

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