Re: kill ring menu

[Colin Walters]

On Wed, 2002-05-22 at 09:09, Miles Bader wrote:
> BTW (again!), I thought of another reason why categories are better
> than the alternatives:  they can contain properties other than faces,
> which could also be easily turned on / off.

That means categories are useful in some situations, not that they're
categorically better¹.

We can quite easily have both categories and `font-lock-face'.  Then
people who just need to toggle display of faces (the majority, I'm quite
sure) can use `font-lock-face', while those with other needs can combine
the two approaches, or just use categories.

¹ :)