sometimes editor is blank on ie10
This commit is contained in:
parent
61b0aa944b
commit
b350fe65a4
1 changed files with 8 additions and 0 deletions
|
|
@ -305,6 +305,11 @@ var VirtualRenderer = function(container, theme) {
|
||||||
size.height = height;
|
size.height = height;
|
||||||
|
|
||||||
size.scrollerHeight = this.scroller.clientHeight;
|
size.scrollerHeight = this.scroller.clientHeight;
|
||||||
|
if (!size.scrollerHeight) {
|
||||||
|
size.scrollerHeight = size.height;
|
||||||
|
if (this.$horizScroll)
|
||||||
|
size.scrollerHeight -= this.scrollBar.getWidth();
|
||||||
|
}
|
||||||
this.scrollBar.setHeight(size.scrollerHeight);
|
this.scrollBar.setHeight(size.scrollerHeight);
|
||||||
|
|
||||||
if (this.session) {
|
if (this.session) {
|
||||||
|
|
@ -333,6 +338,9 @@ var VirtualRenderer = function(container, theme) {
|
||||||
else
|
else
|
||||||
this.$loop.schedule(changes);
|
this.$loop.schedule(changes);
|
||||||
|
|
||||||
|
if (force)
|
||||||
|
this.$gutterLayer.$padding = null;
|
||||||
|
|
||||||
if (force)
|
if (force)
|
||||||
delete this.resizing;
|
delete this.resizing;
|
||||||
};
|
};
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue