[ jEdit-devel ] [ jedit-Bugs-1818619 ] PHP code is not highlighted properly in "${code}"

Bugs item #1818619, was opened at 2007-10-23 08:22
Message generated for change (Comment added) made by ezust
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1818619&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: minor bug
>Status: Closed
>Resolution: Fixed
Priority: 5
Private: No
Submitted By: Victor Engmark (engmark)
Assigned to: Nobody/Anonymous (nobody)
Summary: PHP code is not highlighted properly in "${code}"

Initial Comment:
In the following example, the "$" character is blue, while "{HOSTNAME}" is /pink/, like the rest of the string:
define('MENU', array('home' => "http://${HOSTNAME}/"));

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

>Comment By: Alan Ezust (ezust)
Date: 2007-10-24 15:50

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

This is fixed in 4.3pre11.


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

Comment By: Victor Engmark (engmark)
Date: 2007-10-24 00:27

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

No, 4.2 final. It's the only version available in Ubuntu Gutsy by default.

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

Comment By: Alan Ezust (ezust)
Date: 2007-10-23 10:16

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

Is this with jedit 4.3pre11?



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

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