ajaxorg/ace — pull request #1815 by jbrazeau (2014-02-12 14:06:26+00:00)
Title: Patch proposal for IE11 compatibility issue

Patch proposal for https://github.com/ajaxorg/ace/issues/1814 (IE11 compatibility issue)