Patch proposal for IE11 compatibility issue

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