context:   qx.Proto._applyStateStyleFocus = function(vStates)  {    if (vStates.focused)    {      if (!qx.event.handler.FocusHandler.mouseFocus && !this.getHideFocus())      {        this.setStyleProperty("outline", qx.ui.core.Widget.FOCUS_OUTLINE);      }    }    else    {      this.setStyleProperty("outline", qx.ui.core.Widget.FOCUS_NONE);    }  }
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