I have lately had to use code that includes
\begin{SaveVerbatim}[commandchars=\{},codes={\catcode`$=3 \catcode`^=7}]{guard} $\lnot$busy(phone) \end{SaveVerbatim}
The \catcode`$=3 confuses the TextMate's grammar and thus everything that follows is treated at maths in scopes and hence in colouring.
Is there an easy solution without messing with the main language definition?
On Mar 23, 2007, at 4:15 PM, Berndt Farwer wrote:
I have lately had to use code that includes
\begin{SaveVerbatim}[commandchars=\{},codes={\catcode`$=3 \catcode`^=7}]{guard} $\lnot$busy(phone) \end{SaveVerbatim}
The \catcode`$=3 confuses the TextMate's grammar and thus everything that follows is treated at maths in scopes and hence in colouring.
Is there an easy solution without messing with the main language definition?
I committed a fix that should be taking care of that. So if you are on subversion, just svn up. Otherwise, change your code to: \catcode`$ I think this still has the same effect, and is recognized already by the grammar.
Haris Skiadas Department of Mathematics and Computer Science Hanover College