|
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] |