Lines Matching refs:scroll
9 // Scroll repeat interval.
209 * Auto scroll timer.
233 * Total hight of scroll buttons. Used to adjust the height of
234 * viewport in order to show scroll bottons without scrollbar.
240 * True to enable scroll button.
271 // Setup scroll events.
272 var up = document.getElementById('scroll-up');
273 var down = document.getElementById('scroll-down');
516 var up = document.getElementById('scroll-up');
517 var down = document.getElementById('scroll-down');
525 // Do not use screen width to determin if we need scroll buttons
620 * Starts auto scroll.
621 * @param {number} tick The number of pixels to scroll.
636 * Stops auto scroll.
