|
| From: | Paul Pogonyshev |
| Subject: | Re: font-lock-negation-char-face |
| Date: | Sun, 8 May 2005 13:41:57 +0300 |
| User-agent: | KMail/1.4.3 |
Richard Stallman wrote: > I think this feature should be removed now. Maybe disabled by default is better. I.e. make the offending face inherit the default face with no additional attributes. I don't think it is so bad and unuseful to remove it altogether. Paul
| [Prev in Thread] | Current Thread | [Next in Thread] |