|
| From: | Richard Stallman |
| Subject: | Re: Customizing Buffer-menu-buffer-face |
| Date: | Sun, 15 May 2005 18:39:15 -0400 |
IMHO, `convenience' is too general; I, for one, would not think about
looking for these in that group. The following groups sound like
better candidates:
display, faces, font-lock-highlighting-faces,
whitespace, whitespace-faces
The last two seem good.
| [Prev in Thread] | Current Thread | [Next in Thread] |