ajaxorg/ace — pull request #2125 by nightwing (2014-09-02 10:30:40+00:00)
Title: Highlighter fixes

@lennartcl