rem: if(qx.util.validator.isValidNumber(vMin)) { 
add: if(qx.util.Validation.isValidNumber(vMin)) { 
context: qx.ui.form.Spinner = function(vMin, vValue, vMax){  qx.ui.layout.HorizontalBoxLayout.call(this);  // ************************************************************************  //   BEHAVIOR  // ************************************************************************  this.setTabIndex(-1);  if (qx.sys.Client.isMshtml()) {    this.setStyleProperty("fontSize", QxConst.CORE_0PIXEL);  };  // ************************************************************************  //   MANAGER  // ************************************************************************  this._manager = new qx.types.Range();  // ************************************************************************  //   TEXTFIELD  // ************************************************************************  this._textfield = new qx.ui.form.TextField;  this._textfield.setAppearance("spinner-field");  this._textfield.setValue(String(this._manager.getValue()));  this.add(this._textfield);  // ************************************************************************  //   BUTTON LAYOUT  // ************************************************************************  this._buttonlayout = new qx.ui.layout.VerticalBoxLayout;  this._buttonlayout.setWidth(QxConst.CORE_AUTO);  this.add(this._buttonlayout);  // ************************************************************************  //   UP-BUTTON  // ************************************************************************  this._upbutton = new qx.ui.basic.Image("widgets/arrows/up_small.gif");  this._upbutton.setAppearance("spinner-button-up");  this._buttonlayout.add(this._upbutton);  // ************************************************************************  //   DOWN-BUTTON  // ************************************************************************  this._downbutton = new qx.ui.basic.Image("widgets/arrows/down_small.gif");  this._downbutton.setAppearance("spinner-button-down");  this._buttonlayout.add(this._downbutton);  // ************************************************************************  //   TIMER  // ************************************************************************  this._timer = new qx.client.Timer(this.getInterval());  // ************************************************************************  //   EVENTS  // ************************************************************************  this.addEventListener(QxConst.EVENT_TYPE_KEYPRESS, this._onkeypress, this);  this.addEventListener(QxConst.EVENT_TYPE_KEYDOWN, this._onkeydown, this);  this.addEventListener(QxConst.EVENT_TYPE_KEYUP, this._onkeyup, this);  this.addEventListener(QxConst.EVENT_TYPE_MOUSEWHEEL, this._onmousewheel, this);  this._textfield.addEventListener(QxConst.EVENT_TYPE_INPUT, this._oninput, this);  this._textfield.addEventListener(QxConst.EVENT_TYPE_BLUR, this._onblur, this);  this._upbutton.addEventListener(QxConst.EVENT_TYPE_MOUSEDOWN, this._onmousedown, this);  this._downbutton.addEventListener(QxConst.EVENT_TYPE_MOUSEDOWN, this._onmousedown, this);  this._manager.addEventListener(QxConst.INTERNAL_CHANGE, this._onchange, this);  this._timer.addEventListener(QxConst.EVENT_TYPE_INTERVAL, this._oninterval, this);  // ************************************************************************  //   INITIALIZATION  // ************************************************************************  if(qx.util.validator.isValidNumber(vMin)) {    this.setMin(vMin);  };  if(qx.util.validator.isValidNumber(vMax)) {    this.setMax(vMax);  };  if(qx.util.validator.isValidNumber(vValue)) {    this.setValue(vValue);  };};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/cfcbb829f6fba5c885606fde737b1ad8b88fe740/QxSpinner.js/clean/qooxdoo/source/script/widgets/QxSpinner.js