Subject: Re: bug#25696: 11.90.0; Color bleeding after env definition

From: Uwe Siart <[email-masked]>
Date: Mon, 13 Feb 2017 07:08:58 +0100

Arash Esbati <[email-masked]> writes:

> \newenvironment{Code}{%
>   \begin{alltt}%
>   }{%
>   \end{alltt}%
> }
>
> [...]
>
> [1]  http://lists.gnu.org/archive/html/bug-auctex/2017-01/msg00064.html

Thanks, Arash, for repeated explanation, and for the totally practicable
workaround. I think now I understand the issue with fontification in
verbatim environments.

-- 
Uwe