In the following example, the "$" character is blue, while "{HOSTNAME}" is /pink/, like the rest of the string:
define('MENU', array('home' => "http://${HOSTNAME}/"));
It's not fixed in 4.3pre11 - I get the exact same result after upgrading. I tried changing the color for LITERAL2 tokens, and '"http://' and '{HOSTNAME}' still get the same color.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=935841
Originator: NO
Is this with jedit 4.3pre11?
Logged In: YES
user_id=508519
Originator: YES
No, 4.2 final. It's the only version available in Ubuntu Gutsy by default.
Logged In: YES
user_id=935841
Originator: NO
This is fixed in 4.3pre11.
Logged In: YES
user_id=508519
Originator: YES
It's not fixed in 4.3pre11 - I get the exact same result after upgrading. I tried changing the color for LITERAL2 tokens, and '"http://' and '{HOSTNAME}' still get the same color.
Logged In: YES
user_id=508519
Originator: YES
ezust: Could you send me an example which should work?
Logged In: YES
user_id=663176
Originator: NO
Thank you for reporting this bug.
It's now fixed in SVN (r11626) with other related improvements, e.g. "{$foo->bar}" and stuff like that.
The fix will be released in jEdit 4.3pre13.