Adam Jimenez b61fe0c5a4 Fix double click php var selects the $ sign #2 ... Fix #654: double clicking php vars selects the $ sign		2012-10-09 14:59:53 +02:00
..
ace	Fix double click php var selects the $ sign #2	2012-10-09 14:59:53 +02:00