[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: 22 May 2002 22:52:56 -0400

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.

┬╣ :)

reply via email to

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