[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.
- Re: kill ring menu, (continued)
- CC (was: Re: kill ring menu), Per Abrahamsen, 2002/04/29
- Re: CC (was: Re: kill ring menu), Benjamin Rutt, 2002/04/29
- Re: CC (was: Re: kill ring menu), Miles Bader, 2002/04/29
- Re: CC (was: Re: kill ring menu), Richard Stallman, 2002/04/30
- Re: CC (was: Re: kill ring menu), Per Abrahamsen, 2002/04/30
- Re: CC (was: Re: kill ring menu), Simon Josefsson, 2002/04/30
- Re: Addressing email (was: kill ring menu), Eli Zaretskii, 2002/04/29
- Re: kill ring menu, Stefan Monnier, 2002/04/29
Re: kill ring menu,
Richard Stallman <=