#318 $ in verbatim environment cause wrong syntax highlighting

open
nobody
None
5
2014-09-20
2011-12-10
Loreno Heer
No

\begin{verbatim}
$
\end{verbatim}

causes wrong highlighting of the following text

Discussion

  • Tino Weinkauf
    Tino Weinkauf
    2012-02-01

    The described error has been added to the official bug list.

    Thank you for your report.

     
  • Tino Weinkauf
    Tino Weinkauf
    2012-02-01

    • labels: 434620 -->
    • milestone: 1143860 -->
     

  • Anonymous
    2014-09-20

    I would love to see this fixed.

     


Anonymous


Cancel   Add attachments