rem: case qx.event.types.KeyEvent.keys.left: case qx.event.types.KeyEvent.keys.up: 
add: case qx.event.type.KeyEvent.keys.left: case qx.event.type.KeyEvent.keys.up: 
context: qx.Proto._onkeydown = function(e){  switch(e.getKeyCode())  {    case qx.event.types.KeyEvent.keys.enter:      if (!e.getAltKey()) {        this.setChecked(true);      };      break;    case qx.event.types.KeyEvent.keys.left:    case qx.event.types.KeyEvent.keys.up:      qx.event.handler.FocusHandler.mouseFocus = false;      // we want to have a focus border when using arrows to select      qx.event.handler.FocusHandler.mouseFocus = false;      return this.getManager() ? this.getManager().selectPrevious(this) : true;    case qx.event.types.KeyEvent.keys.right:    case qx.event.types.KeyEvent.keys.down:      // we want to have a focus border when using arrows to select      qx.event.handler.FocusHandler.mouseFocus = false;      return this.getManager() ? this.getManager().selectNext(this) : true;  };};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/38710fb756ef4603abbb6bd91cb02c58b687fdd2/RadioButton.js/buggy/qooxdoo/source/script/qx/ui/form/RadioButton.js