21May/070
PHP highlight bug in jEdit
For a long time, I have been experiencing a bug in the PHP highlightning in jEdit. The problem is when writting something like
$foo = "bar\"";
the highlightning ignores \" and start looking for the ending of the "".
This page gives the answer to my problem.
In Ubuntu Feisty Fawn, with jEdit installed with the Java-installer, the file is here:
/usr/local/share/jedit/4.3pre9/modes/php.xml