|
| From: | Richard Stallman |
| Subject: | Re: isearch-lazy-highlight-face |
| Date: | Tue, 07 Jun 2005 10:28:14 -0400 |
I'd like to rename this face to just `isearch-lazy-highlight' before the
release (with a face alias for compability). Any objections?
Ok. Since this face was first created a few months ago, I see no need
for the alias.
| [Prev in Thread] | Current Thread | [Next in Thread] |