Menu
▾
▴
[ jEdit-devel ] [ jedit-Bugs-1818619 ] PHP code is not highlighted properly in "${code}"
|
From: SourceForge.net <no...@so...> - 2008-01-23 00:34:31
|
Bugs item #1818619, was opened at 2007-10-23 17:22 Message generated for change (Comment added) made by blueyed 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: daniel hahler (blueyed) 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: daniel hahler (blueyed) Date: 2008-01-23 01:34 Message: 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. ---------------------------------------------------------------------- Comment By: Victor Engmark (engmark) Date: 2007-11-01 15:43 Message: Logged In: YES user_id=508519 Originator: YES ezust: Could you send me an example which should work? ---------------------------------------------------------------------- Comment By: Victor Engmark (engmark) Date: 2007-11-01 15:42 Message: 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. ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2007-10-25 00: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 09: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 19: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 |