rem: }; 
add: } 
context: qx.Proto._onmousewheel = function(e){  // Make it a bit lazier than it could be  // Hopefully this is a better behaviour for fast scrolling users  var vDate = (new Date).valueOf();  if ((vDate - 50) < this._lastDate) {    return;  };  this._lastDate = vDate;  var vManager = this.getManager();  var vItems = vManager.getItems();  var vPos = vItems.indexOf(vManager.getSelected());  if (this.getWheelDelta(e) > 0)  {    var vNext = vItems[vPos+1];    if (!vNext) {      vNext = vItems[0];    };  }  else if (vPos > 0)  {    var vNext = vItems[vPos-1];    if (!vNext) {      vNext = vItems[0];    };  }  else  {    vNext = vItems[vItems.length-1];  };  vManager.setSelected(vNext);};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/AbstractPageViewBar.js/clean/qooxdoo/source/script/qx/ui/pageview/AbstractPageViewBar.js