rem: this._downbuttonimage = new QxImage(QxSpinner._arrowDownImage, 5, 3); 
add: this._downbuttonimage = new QxImage("widgets/arrows/down_small.gif", 5, 3); 
context: function QxSpinner( min, value, max ){  QxWidget.call(this);    this.setWidth(60);  this.setHeight(22);  this.setBorder(QxBorder.presets.inset);  this.setTabIndex(-1);    // ***********************************************************************  //   RANGE MANAGER  // ***********************************************************************    this._manager = new QxRangeManager();  // ***********************************************************************  //   TEXTFIELD  // ***********************************************************************    this._textfield = new QxTextField();  this._textfield.set({ left: 0, right: 16, bottom: 0, top: 0, textAlign : "right", text : this._manager.getValue() });    this.add(this._textfield);    // ***********************************************************************  //   UP-BUTTON  // ***********************************************************************  this._upbutton = new QxWidget();  this._upbutton.set({ top: 0, bottom: "50%", width: 16, right: 0, border: QxBorder.presets.outset, canSelect : false });    this._upbuttonimage = new QxImage(QxSpinner._arrowUpImage, 5, 3);  this._upbuttonimage.set({ top: 1, left: 3, anonymous : true });    this._upbutton.add(this._upbuttonimage);  this.add(this._upbutton);  // ***********************************************************************  //   DOWN-BUTTON  // ***********************************************************************  this._downbutton = new QxWidget();  this._downbutton.set({ top: "50%", bottom: 0, width: 16, right: 0, border: QxBorder.presets.outset, canSelect : false });    this._downbuttonimage = new QxImage(QxSpinner._arrowDownImage, 5, 3);  this._downbuttonimage.set({ top: 1, left: 3, anonymous : true });    this._downbutton.add(this._downbuttonimage);  this.add(this._downbutton);    // ***********************************************************************  //   TIMER  // ***********************************************************************  this._timer = new QxTimer(this.getInterval());      // ***********************************************************************  //   EVENTS  // ***********************************************************************  this.addEventListener("keypress", this._onkeypress, this);  this.addEventListener("keydown", this._onkeydown, this);  this.addEventListener("keyup", this._onkeyup, this);  this.addEventListener("mousewheel", this._onmousewheel, this);    this._textfield.addEventListener("input", this._oninput, this);  this._textfield.addEventListener("blur", this._onblur, this);  this._upbutton.addEventListener("mousedown", this._onmousedown, this);  this._downbutton.addEventListener("mousedown", this._onmousedown, this);    this._manager.addEventListener("change", this._onchange, this);        this._timer.addEventListener("interval", this._oninterval, this);  // ***********************************************************************  //   INITIALIZATION  // ***********************************************************************  if(isValidNumber(min)) {    this.setMin(min);  };  if(isValidNumber(value)) {    this.setValue(value);  };  if(isValidNumber(max)) {    this.setMax(max);  }; };
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/b8839390fcf358d1d3af1e061ae1f5373ea9a86d/QxSpinner.js/buggy/qooxdoo/source/script/widgets/QxSpinner.js