parent
771d861bd5
commit
339bf10335
1 changed files with 5 additions and 2 deletions
|
|
@ -326,6 +326,9 @@ var VirtualRenderer = function(container, theme) {
|
|||
changes = changes | this.CHANGE_FULL;
|
||||
}
|
||||
|
||||
if (!this.$size.scrollerHeight)
|
||||
return;
|
||||
|
||||
if (force)
|
||||
this.$renderChanges(changes, true);
|
||||
else
|
||||
|
|
@ -493,7 +496,7 @@ var VirtualRenderer = function(container, theme) {
|
|||
var style = this.$printMarginEl.style;
|
||||
style.left = ((this.characterWidth * this.$printMarginColumn) + this.$padding) + "px";
|
||||
style.visibility = this.$showPrintMargin ? "visible" : "hidden";
|
||||
|
||||
|
||||
if (this.session && this.session.$wrap == -1)
|
||||
this.adjustWrapLimit();
|
||||
};
|
||||
|
|
@ -1364,7 +1367,7 @@ config.defineOptions(VirtualRenderer.prototype, "renderer", {
|
|||
this.$updatePrintMargin();
|
||||
},
|
||||
get: function() {
|
||||
return this.$showPrintMargin && this.$printMarginColumn;
|
||||
return this.$showPrintMargin && this.$printMarginColumn;
|
||||
}
|
||||
},
|
||||
showGutter: {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue