|
| From: | Richard Stallman |
| Subject: | Re: font-lock-negation-char-face |
| Date: | Sun, 08 May 2005 18:46:02 -0400 |
> I think this feature should be removed now.
Maybe disabled by default is better.
Does anyone (except the person who wrote it) like it?
| [Prev in Thread] | Current Thread | [Next in Thread] |