ajaxorg/ace — pull request #2052 by nightwing (2014-07-16 15:03:56+00:00)
Title: fix Double tapping to select words doesn't work reliably

@lennartcl