ajaxorg/ace — pull request #768 by danyaPostfactum (2012-05-24 05:00:15+00:00)
Title: Gutter active line in IE, fix js-error in IE

I have fixed css-style to make gutter active line working in IE.
Also, there was an error in IE in onSelectionChange method of editor.js: self is null