ajaxorg/ace — pull request #1683 by nightwing (2013-11-13 19:15:52+00:00)
Title: fix static highlight bugs

fixes #1681 #1682
@zefhemel @lennartcl