ajaxorg/ace — pull request #1022 by adamjimenez (2012-10-09 13:00:41+00:00)
Title: Fix double click php var selects the $ sign #2

Fix #654: double clicking php vars selects the $ sign