context:   qx.Proto._modifySelectable = function(propValue, propOldValue, propData)  {    if (propValue)    {      return this.removeStyleProperty(qx.ui.core.Widget.SEL_PROPERTY_USERSELECT);    }    else    {      this.setStyleProperty(qx.ui.core.Widget.SEL_PROPERTY_USERSELECT, qx.constant.Core.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