public-offering
/
pad.pub0.org
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

This should fix the IE Cursor Issue #171

pull/212/merge
Peter 'Pita' Martischka 2011-11-19 12:30:12 -08:00
parent 7a7869a602
commit 53bf7dc19d
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
static/js/ace2_inner.js
View File

@ -3097,7 +3097,11 @@ 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.
lineElem.innerHTML = "";
if(browser.version < 9) {
lineElem.innerHTML = "";
} else {
lineElem.innerHTML = "<hr style=\"border:none; color:#fff; height:1px; display:none\"/>";
}
// a primitive-valued property survives copy-and-paste
setAssoc(lineElem, "shouldBeEmpty", true);
// an object property doesn't