ajaxorg/ace — pull request #1995 by adamjimenez (2014-06-05 18:57:34+00:00)
Title: Highlight matching HTML tag

fixes #1308