rem: }; 
add: } 
context: qx.Proto._onkeydown = function(e){  switch(e.getKeyCode())  {    case qx.event.type.KeyEvent.keys.enter:    case qx.event.type.KeyEvent.keys.space:      // there is no toggeling, just make it checked      this.setChecked(true);      break;    case qx.event.type.KeyEvent.keys.left:      var vPrev = this.getPreviousSibling() || this.getParent().getLastChild();      if (vPrev && vPrev != this)      {        // we want to enable the outline border, because        // the user used the keyboard for activation        delete qx.event.handler.FocusHandler.mouseFocus;        // focus previous tab        vPrev.setFocused(true);        // and naturally make it also checked        vPrev.setChecked(true);      };      break;    case qx.event.type.KeyEvent.keys.right:      var vNext = this.getNextSibling() || this.getParent().getFirstVisibleChild();      if (vNext && vNext != this)      {        // we want to enable the outline border, because        // the user used the keyboard for activation        delete qx.event.handler.FocusHandler.mouseFocus;        // focus next tab        vNext.setFocused(true);        // and naturally make it also checked        vNext.setChecked(true);      };      break;  };};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/TabViewButton.js/clean/qooxdoo/source/script/qx/ui/pageview/tabview/TabViewButton.js