[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: Mon, 29 Apr 2002 12:40:00 -0600 (MDT)

Let's not create faces profligately.

If there is some general-purpose face which is usable here,
I think it would be better to use that rather than define
another face.

If there is no general-purpose face for purposes like this,
let's make one, instead of making a face just for this feature.

reply via email to

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