context:   qx.Proto._modifyTabIndex = function(propValue, propOldValue, propData)  {    // CSS 3 Draft    this.setStyleProperty(qx.ui.core.Widget.TAB_PROPERTY_USERFOCUS,                          (propValue < 0                           ? qx.ui.core.Widget.TAB_VALUE_IGNORE                           : qx.ui.core.Widget.TAB_VALUE_NORMAL));    // IE Backward Compatible    if (propValue < 0 || !this.getEnabled()) {      this.setHtmlProperty(qx.ui.core.Widget.TAB_PROPERTY_UNSELECTABLE,                           qx.ui.core.Widget.TAB_VALUE_ON);    } else {      this.removeHtmlProperty(qx.ui.core.Widget.TAB_PROPERTY_UNSELECTABLE);    }    this.setHtmlProperty(qx.ui.core.Widget.TAB_PROPERTY_TABINDEX,                         propValue < 0 ? -1 : 1);    return true;  }
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/32797ee18a2c92a797417cb1392f24fa90943b97/Widget.js/buggy/qooxdoo/frontend/framework/source/class/qx/ui/core/Widget.js