ajaxorg/ace — pull request #2053 by nightwing (2014-07-16 19:32:35+00:00)
Title: Fix highlighting issues

fixes #2051 and #2044