jyapayne/ace
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix scrolling

Browse source
This commit is contained in:
Fabian Jakobs 2011-06-06 18:42:35 +02:00
commit ad915664f5
1 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
lib/ace/virtual_renderer.js
View file

@ -617,12 +617,11 @@ var VirtualRenderer = function(container, theme) {
var left = pos.left + this.$padding; var left = pos.left + this.$padding;
var top = pos.top; var top = pos.top;
if (this.getScrollTop() > top) { if (this.desiredScrollTop > top) {
this.scrollToY(top); this.scrollToY(top);
} }
if (this.getScrollTop() + this.$size.scrollerHeight < top if (this.desiredScrollTop + this.$size.scrollerHeight < top + this.lineHeight) {
+ this.lineHeight) {
this.scrollToY(top + this.lineHeight - this.$size.scrollerHeight); this.scrollToY(top + this.lineHeight - this.$size.scrollerHeight);
} }
@ -676,7 +675,7 @@ var VirtualRenderer = function(container, theme) {
this.scrollToY = function(scrollTop) { this.scrollToY = function(scrollTop) {
// after calling scrollBar.setScrollTop // after calling scrollBar.setScrollTop
// scrollbar sends us event with same scrollTop. ignore it // scrollbar sends us event with same scrollTop. ignore it
if (this.scrollTop !== scrollTop) { if (this.desiredScrollTop !== scrollTop) {
this.$loop.schedule(this.CHANGE_SCROLL); this.$loop.schedule(this.CHANGE_SCROLL);
this.desiredScrollTop = scrollTop; this.desiredScrollTop = scrollTop;
} }