[ jEdit-devel ] [ jedit-Bugs-1812205 ] PHP syntax highlighting with backslashed $

[SourceForge.net <no...@so...>]

Bugs item #1812205, was opened at 2007-10-12 15:15
Message generated for change (Comment added) made by siffer
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1812205&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: text area and syntax packages
Group: normal bug
>Status: Open
Resolution: Works For Me
Priority: 5
Private: No
Submitted By: Ivo (siffer)
Assigned to: Nobody/Anonymous (nobody)
Summary: PHP syntax highlighting with backslashed $

Initial Comment:
Backslashing '$' at the end of string leaves string highlighting open

<?
$param = "text \$";
$param2 = ""; // seams like previous string was not closed.
?>



----------------------------------------------------------------------

>Comment By: Ivo (siffer)
Date: 2007-10-13 09:06

Message:
Logged In: YES 
user_id=1911637
Originator: YES

it was on 4.3pre10 and after downloading/installing pre11, the bug was
still there.

----------------------------------------------------------------------

Comment By: Alan Ezust (ezust)
Date: 2007-10-13 00:43

Message:
Logged In: YES 
user_id=935841
Originator: NO

What version of jedit are you using? This sounds like a 4.3pre9 bug that
was fixed in 4.3pre11.



----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1812205&group_id=588