ajaxorg/ace — pull request #2022 by nightwing (2014-06-29 06:08:31+00:00)
Title: do not use setInnerHTML since it isn't faster on new browsers

see https://github.com/ajaxorg/ace/issues/1980