package
This commit is contained in:
parent
d688278297
commit
c52d1b2030
7 changed files with 15 additions and 15 deletions
File diff suppressed because one or more lines are too long
|
|
@ -11802,7 +11802,7 @@ var VirtualRenderer = function(container, theme) {
|
||||||
this.scrollBar.setHeight(size.scrollerHeight);
|
this.scrollBar.setHeight(size.scrollerHeight);
|
||||||
|
|
||||||
if (this.session) {
|
if (this.session) {
|
||||||
this.scrollToY(this.getScrollTop());
|
this.session.setScrollTop(this.getScrollTop());
|
||||||
changes = changes | this.CHANGE_FULL;
|
changes = changes | this.CHANGE_FULL;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
@ -12201,11 +12201,11 @@ var VirtualRenderer = function(container, theme) {
|
||||||
var top = pos.top;
|
var top = pos.top;
|
||||||
|
|
||||||
if (this.scrollTop > top) {
|
if (this.scrollTop > top) {
|
||||||
this.scrollToY(top);
|
this.session.setScrollTop(top);
|
||||||
}
|
}
|
||||||
|
|
||||||
if (this.scrollTop + this.$size.scrollerHeight < top + this.lineHeight) {
|
if (this.scrollTop + this.$size.scrollerHeight < top + this.lineHeight) {
|
||||||
this.scrollToY(top + this.lineHeight - this.$size.scrollerHeight);
|
this.session.setScrollTop(top + this.lineHeight - this.$size.scrollerHeight);
|
||||||
}
|
}
|
||||||
|
|
||||||
var scrollLeft = this.scrollLeft;
|
var scrollLeft = this.scrollLeft;
|
||||||
|
|
@ -12241,7 +12241,7 @@ var VirtualRenderer = function(container, theme) {
|
||||||
};
|
};
|
||||||
|
|
||||||
this.scrollToRow = function(row) {
|
this.scrollToRow = function(row) {
|
||||||
this.scrollToY(row * this.lineHeight);
|
this.session.setScrollTop(row * this.lineHeight);
|
||||||
};
|
};
|
||||||
|
|
||||||
this.scrollToLine = function(line, center) {
|
this.scrollToLine = function(line, center) {
|
||||||
|
|
@ -12254,7 +12254,7 @@ var VirtualRenderer = function(container, theme) {
|
||||||
if (center) {
|
if (center) {
|
||||||
offset -= this.$size.scrollerHeight / 2;
|
offset -= this.$size.scrollerHeight / 2;
|
||||||
}
|
}
|
||||||
this.scrollToY(offset);
|
this.session.setScrollTop(offset);
|
||||||
};
|
};
|
||||||
|
|
||||||
this.scrollToY = function(scrollTop) {
|
this.scrollToY = function(scrollTop) {
|
||||||
|
|
|
||||||
|
|
@ -11802,7 +11802,7 @@ var VirtualRenderer = function(container, theme) {
|
||||||
this.scrollBar.setHeight(size.scrollerHeight);
|
this.scrollBar.setHeight(size.scrollerHeight);
|
||||||
|
|
||||||
if (this.session) {
|
if (this.session) {
|
||||||
this.scrollToY(this.getScrollTop());
|
this.session.setScrollTop(this.getScrollTop());
|
||||||
changes = changes | this.CHANGE_FULL;
|
changes = changes | this.CHANGE_FULL;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
@ -12201,11 +12201,11 @@ var VirtualRenderer = function(container, theme) {
|
||||||
var top = pos.top;
|
var top = pos.top;
|
||||||
|
|
||||||
if (this.scrollTop > top) {
|
if (this.scrollTop > top) {
|
||||||
this.scrollToY(top);
|
this.session.setScrollTop(top);
|
||||||
}
|
}
|
||||||
|
|
||||||
if (this.scrollTop + this.$size.scrollerHeight < top + this.lineHeight) {
|
if (this.scrollTop + this.$size.scrollerHeight < top + this.lineHeight) {
|
||||||
this.scrollToY(top + this.lineHeight - this.$size.scrollerHeight);
|
this.session.setScrollTop(top + this.lineHeight - this.$size.scrollerHeight);
|
||||||
}
|
}
|
||||||
|
|
||||||
var scrollLeft = this.scrollLeft;
|
var scrollLeft = this.scrollLeft;
|
||||||
|
|
@ -12241,7 +12241,7 @@ var VirtualRenderer = function(container, theme) {
|
||||||
};
|
};
|
||||||
|
|
||||||
this.scrollToRow = function(row) {
|
this.scrollToRow = function(row) {
|
||||||
this.scrollToY(row * this.lineHeight);
|
this.session.setScrollTop(row * this.lineHeight);
|
||||||
};
|
};
|
||||||
|
|
||||||
this.scrollToLine = function(line, center) {
|
this.scrollToLine = function(line, center) {
|
||||||
|
|
@ -12254,7 +12254,7 @@ var VirtualRenderer = function(container, theme) {
|
||||||
if (center) {
|
if (center) {
|
||||||
offset -= this.$size.scrollerHeight / 2;
|
offset -= this.$size.scrollerHeight / 2;
|
||||||
}
|
}
|
||||||
this.scrollToY(offset);
|
this.session.setScrollTop(offset);
|
||||||
};
|
};
|
||||||
|
|
||||||
this.scrollToY = function(scrollTop) {
|
this.scrollToY = function(scrollTop) {
|
||||||
|
|
|
||||||
File diff suppressed because one or more lines are too long
|
|
@ -120,7 +120,7 @@ function initSender() {
|
||||||
var main;
|
var main;
|
||||||
var sender;
|
var sender;
|
||||||
|
|
||||||
var onmessage = function(e) {
|
onmessage = function(e) {
|
||||||
var msg = e.data;
|
var msg = e.data;
|
||||||
if (msg.command) {
|
if (msg.command) {
|
||||||
main[msg.command].apply(main, msg.args);
|
main[msg.command].apply(main, msg.args);
|
||||||
|
|
|
||||||
|
|
@ -120,7 +120,7 @@ function initSender() {
|
||||||
var main;
|
var main;
|
||||||
var sender;
|
var sender;
|
||||||
|
|
||||||
var onmessage = function(e) {
|
onmessage = function(e) {
|
||||||
var msg = e.data;
|
var msg = e.data;
|
||||||
if (msg.command) {
|
if (msg.command) {
|
||||||
main[msg.command].apply(main, msg.args);
|
main[msg.command].apply(main, msg.args);
|
||||||
|
|
|
||||||
|
|
@ -120,7 +120,7 @@ function initSender() {
|
||||||
var main;
|
var main;
|
||||||
var sender;
|
var sender;
|
||||||
|
|
||||||
var onmessage = function(e) {
|
onmessage = function(e) {
|
||||||
var msg = e.data;
|
var msg = e.data;
|
||||||
if (msg.command) {
|
if (msg.command) {
|
||||||
main[msg.command].apply(main, msg.args);
|
main[msg.command].apply(main, msg.args);
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue