From: Michael M Slusarz Date: Fri, 6 Mar 2009 06:29:53 +0000 (-0700) Subject: Easier-to-read param display. X-Git-Url: https://git.internetallee.de/?a=commitdiff_plain;h=b971d818da1f318647c94b3b7d800123b158e4f4;p=horde.git Easier-to-read param display. --- 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) {