add: this._timer.stop(); 
context: proto._onchange = function(e){  var vValue = this._manager.getValue();    this._textfield.setText(vValue);    if (vValue == this.getMin())   {    this._downbutton.setBorder(QxBorder.presets.outset);    this._downbutton.setEnabled(false);  }  else  {    this._downbutton.setEnabled(true);  };    if (vValue == this.getMax())   {    this._upbutton.setBorder(QxBorder.presets.outset);    this._upbutton.setEnabled(false);  }  else  {    this._upbutton.setEnabled(true);  };    if (this.hasEventListeners("change")) {    this.dispatchEvent(new QxEvent("change"));  };};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/e5202f6e4fa1ed1853232b5fe97bbf92671bfb1e/QxSpinner.js/clean/qooxdoo/source/script/widgets/QxSpinner.js