Meanwhile I've found the documentation w.r.t. » and « :-)

I suggest to disable this functionality until the user explicitly
activates it.  Fontification is too painful IMHO if the user tries the
German style while the default is for French.


    Werner


_______________________________________________
bug-auctex mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-auctex

Reply via email to