rem: this._manager.setValue(this._manager.getValue() + this.getWheelIncrementAmount() * e.getWheelDelta()); 
add: this._manager.setValue(this._manager.getValue() + this.getWheelComputedIncrementAmount() * e.getWheelDelta()); 
context: qx.Proto._onmousewheel = function(e){  this._manager.setValue(this._manager.getValue() + this.getWheelIncrementAmount() * e.getWheelDelta());  this._textfield.selectAll();}
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/d10478099ef01984b893bbbab63d0597ce18dd0c/Spinner.js/buggy/qooxdoo/frontend/framework/source/class/qx/ui/form/Spinner.js