Merge pull request #1260 from ajaxorg/toggleComment

Improve toggleCommentLines and make it faster
This commit is contained in:
Mostafa Eweda 2013-02-23 06:03:44 -08:00
commit 1b8fb10e50
52 changed files with 371 additions and 774 deletions

View file

@ -304,6 +304,11 @@ var VirtualRenderer = function(container, theme) {
size.height = height;
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);
if (this.session) {
@ -332,6 +337,9 @@ var VirtualRenderer = function(container, theme) {
else
this.$loop.schedule(changes);
if (force)
this.$gutterLayer.$padding = null;
if (force)
delete this.resizing;
};