rem: case qx.event.types.KeyEvent.keys.up: case qx.event.types.KeyEvent.keys.down: case qx.event.types.KeyEvent.keys.pageup: case qx.event.types.KeyEvent.keys.pagedown: 
add: case qx.event.type.KeyEvent.keys.up: case qx.event.type.KeyEvent.keys.down: case qx.event.type.KeyEvent.keys.pageup: case qx.event.type.KeyEvent.keys.pagedown: 
context: qx.Proto._onkeyup = function(e){  if (this._intervalIncrease != null)  {    switch(e.getKeyCode())    {      case qx.event.types.KeyEvent.keys.up:      case qx.event.types.KeyEvent.keys.down:      case qx.event.types.KeyEvent.keys.pageup:      case qx.event.types.KeyEvent.keys.pagedown:        this._timer.stop();        this._intervalIncrease = null;        this._intervalMode = null;    };  };};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/38710fb756ef4603abbb6bd91cb02c58b687fdd2/Spinner.js/buggy/qooxdoo/source/script/qx/ui/form/Spinner.js