ajaxorg/ace — pull request #1415 by nightwing (2013-05-08 14:47:59+00:00)
Title: Highlighting bugfix

@fjakobs @lennartcl