rem: }; 
add: } 
context: qx.Proto._onmouseup = function(e){  var vButton = e.getCurrentTarget();  vButton.removeState(qx.ui.form.Button.STATE_PRESSED);  vButton.removeEventListener(qx.constant.Event.MOUSEUP, this._onmouseup, this);  vButton.removeEventListener(qx.constant.Event.MOUSEOUT, this._onmouseup, this);  this._textfield.selectAll();  this._textfield.setFocused(true);  this._timer.stop();  this._intervalIncrease = null;};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/Spinner.js/buggy/qooxdoo/source/script/qx/ui/form/Spinner.js