248       scroll: false,  property in AnonymousFunctioneab5d76a0c00.defaults
274     if(options.scroll && !options.scroll.scrollTo && !options.scroll.outerHTML) {
275       options.scroll = $(options.scroll);
276       this._isScrollChild = Element.childOf(this.element, options.scroll);
341     if(this.options.scroll) {
342       if (this.options.scroll == window) {
343         var where = this._getWindowScroll(this.options.scroll);
347         this.originalScrollLeft = this.options.scroll.scrollLeft;
348         this.originalScrollTop = this.options.scroll.scrollTop;
370     if(this.options.scroll) {
374       if (this.options.scroll == window) {
375 …    with(this._getWindowScroll(this.options.scroll)) { p = [ left, top, left+width, top+height ]; }
377         p = Position.page(this.options.scroll);
378         p[0] += this.options.scroll.scrollLeft + Position.deltaX;
379         p[1] += this.options.scroll.scrollTop + Position.deltaY;
380         p.push(p[0]+this.options.scroll.offsetWidth);
381         p.push(p[1]+this.options.scroll.offsetHeight);
467     if(this.options.scroll && (this.options.scroll != window && this._isScrollChild)) {
468       pos[0] -= this.options.scroll.scrollLeft-this.originalScrollLeft;
469       pos[1] -= this.options.scroll.scrollTop-this.originalScrollTop;
510     this.scrollInterval = setInterval(this.scroll.bind(this), 10);
513   scroll: function() {
517     if(this.options.scroll == window) {
518       with (this._getWindowScroll(this.options.scroll)) {
521           this.options.scroll.scrollTo( left + d*this.scrollSpeed[0], top + d*this.scrollSpeed[1] );
525       this.options.scroll.scrollLeft += this.scrollSpeed[0] * delta / 1000;
526       this.options.scroll.scrollTop  += this.scrollSpeed[1] * delta / 1000;
641       scroll:      false,
662       scroll:      options.scroll,  property in Sortable.create.options_for_draggable