parent
3287a0000a
commit
7096ce7f1e
|
@ -3145,11 +3145,12 @@ function OUTER(gscope)
|
||||||
// Such a div is what IE 6 creates naturally when you make a blank line
|
// 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
|
// in a document of divs. However, when copy-and-pasted the div will
|
||||||
// contain a space, so we note its emptiness with a property.
|
// contain a space, so we note its emptiness with a property.
|
||||||
lineElem.innerHTML = "";
|
lineElem.innerHTML = " "; // Frist we set a value that isnt blank
|
||||||
// a primitive-valued property survives copy-and-paste
|
// a primitive-valued property survives copy-and-paste
|
||||||
setAssoc(lineElem, "shouldBeEmpty", true);
|
setAssoc(lineElem, "shouldBeEmpty", true);
|
||||||
// an object property doesn't
|
// an object property doesn't
|
||||||
setAssoc(lineElem, "unpasted", {});
|
setAssoc(lineElem, "unpasted", {});
|
||||||
|
lineElem.innerHTML = ""; // Then we make it blank.. New line and no space = Awesome :)
|
||||||
};
|
};
|
||||||
var lineClass = 'ace-line';
|
var lineClass = 'ace-line';
|
||||||
result.appendSpan = function(txt, cls)
|
result.appendSpan = function(txt, cls)
|
||||||
|
|
Loading…
Reference in New Issue