diff --git a/static/js/ace2_inner.js b/static/js/ace2_inner.js index 9c647b6d..1575fc9a 100644 --- a/static/js/ace2_inner.js +++ b/static/js/ace2_inner.js @@ -3097,11 +3097,7 @@ function OUTER(gscope) // Such a div is what IE 6 creates naturally when you make a blank line // in a document of divs. However, when copy-and-pasted the div will // contain a space, so we note its emptiness with a property. - if(browser.version < 9) { - lineElem.innerHTML = ""; - } else { - lineElem.innerHTML = "