[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: New custom faces for rmail.el
|
From: |
Richard Stallman |
|
Subject: |
Re: New custom faces for rmail.el |
|
Date: |
Mon, 11 Feb 2008 22:51:37 -0500 |
You seem to be operating on the idea that we should make a separate face
for every use. I don't think that is a good idea.
I agree that it is more general, and in a certain sense it is cleaner.
But I am concerned that it is also a lot of bloat, and I am not sure
we can afford that.
Absent the intention to make a separate face for every use,
why should we install separate faces for rmail?
- New custom faces for rmail.el, Bastien Guerry, 2008/02/11
- Re: New custom faces for rmail.el,
Richard Stallman <=
- Re: New custom faces for rmail.el, Bastien, 2008/02/11
- Re: New custom faces for rmail.el, Glenn Morris, 2008/02/12
- Re: New custom faces for rmail.el, Bastien Guerry, 2008/02/12
- Re: New custom faces for rmail.el, Miles Bader, 2008/02/12
- Re: New custom faces for rmail.el, Bastien Guerry, 2008/02/12
- Re: New custom faces for rmail.el, Xavier Maillard, 2008/02/12
- Re: New custom faces for rmail.el, Andreas Schwab, 2008/02/13
- Re: New custom faces for rmail.el, Xavier Maillard, 2008/02/13
- OT: A non-text attachment was scrubbed... (was: New custom faces for rmail.el), Reiner Steib, 2008/02/13
- Re: New custom faces for rmail.el, Bastien Guerry, 2008/02/13