always add height to line wrapper nodes

(needed for line widgets)
This commit is contained in:
nightwing 2013-08-26 22:52:05 +04:00
commit a56c3b44b5

View file

@ -294,6 +294,7 @@ var Text = function(parentEl) {
this.$renderLine(
html, row, !this.$useLineGroups(), row == foldStart ? foldLine : false
);
lineElement.style.height = config.lineHeight * this.session.getRowLength(row) + "px";
dom.setInnerHtml(lineElement, html.join(""));
}
row++;
@ -360,6 +361,8 @@ var Text = function(parentEl) {
if (this.$useLineGroups()) {
container.className = 'ace_line_group';
fragment.appendChild(container);
container.style.height = config.lineHeight * this.session.getRowLength(row) + "px";
} else {
var lines = container.childNodes
while(lines.length)
@ -391,7 +394,7 @@ var Text = function(parentEl) {
break;
if (this.$useLineGroups())
html.push("<div class='ace_line_group'>")
html.push("<div class='ace_line_group' style='height:", config.lineHeight*this.session.getRowLength(row), "px'>")
this.$renderLine(html, row, false, row == foldStart ? foldLine : false);
@ -551,7 +554,10 @@ var Text = function(parentEl) {
if (!onlyContents) {
stringBuilder.push(
"<div class='ace_line' style='height:", this.config.lineHeight, "px'>"
"<div class='ace_line' style='height:",
this.config.lineHeight * (
this.$useLineGroups() ? 1 :this.session.getRowLength(row)
), "px'>"
);
}