rem: } else { this.setStyleProperty(qx.ui.core.Widget.SEL_PROPERTY_USERSELECT, qx.constant.Core.NONE); 
add: } else { this.setStyleProperty(qx.ui.core.Widget.SEL_PROPERTY_USERSELECT, qx.constant.Core.NONE); 
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/efc188612efe426f6860c1f52293d19631a56f90/Widget.js/buggy/qooxdoo/frontend/framework/source/class/qx/ui/core/Widget.js