Re: font-lock-negation-char-face

[Stefan Monnier]

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

I think it should be made into a separate minor mode in a separate package,
along the same lines as what cwarn.el does.


        Stefan