From b971d818da1f318647c94b3b7d800123b158e4f4 Mon Sep 17 00:00:00 2001 From: Michael M Slusarz Date: Thu, 5 Mar 2009 23:29:53 -0700 Subject: [PATCH] Easier-to-read param display. --- imp/js/src/ViewPort.js | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/imp/js/src/ViewPort.js b/imp/js/src/ViewPort.js index 05cd31b88..70cdf9ec5 100644 --- a/imp/js/src/ViewPort.js +++ b/imp/js/src/ViewPort.js @@ -1067,7 +1067,14 @@ ViewPort_Scroller = Class.create({ c.insert({ after: this.scrollDiv }).setStyle({ marginRight: '-' + this.scrollDiv.getWidth() + 'px' }); // Create scrollbar object. - this.scrollbar = new DimpSlider(this.scrollDiv, { buttonclass: { up: 'sbup', down: 'sbdown' }, cursorclass: 'sbcursor', onChange: this._onScroll.bind(this), onSlide: this.vp.opts.onSlide ? this.vp.opts.onSlide : null, pagesize: this.vp.getPageSize(), totalsize: this.vp.getMetaData('total_rows') }); + this.scrollbar = new DimpSlider(this.scrollDiv, { + buttonclass: { up: 'sbup', down: 'sbdown' }, + cursorclass: 'sbcursor', + onChange: this._onScroll.bind(this), + onSlide: this.vp.opts.onSlide ? this.vp.opts.onSlide : null, + pagesize: this.vp.getPageSize(), + totalsize: this.vp.getMetaData('total_rows') + }); // Mouse wheel handler. c.observe(Prototype.Browser.Gecko ? 'DOMMouseScroll' : 'mousewheel', function(e) { -- 2.11.0