[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tex-mode.el] Fontification in verbatim
From: |
Richard Stallman |
Subject: |
Re: [tex-mode.el] Fontification in verbatim |
Date: |
Mon, 11 Oct 2004 12:45:08 -0400 |
> After the change the "end" in "\end{verbatim}" does not get fontified
> anymore and the "\" in "\end" has the face `tex-verbatim-face'.
Yes, although this is unrelated.
This is due to the fact that I indeed now use the \ as the
"end-of-verbatim" character.
Can you add a special hack to fontify the \end{verbatim} properly?