rem: if (!this.hasState(qx.ui.form.Button.STATE_ABANDONED)) 
add:    var hasPressed = this.hasState(qx.ui.form.Button.STATE_PRESSED); var hasAbandoned = this.hasState(qx.ui.form.Button.STATE_ABANDONED);  if (hasPressed) { this.removeState(qx.ui.form.Button.STATE_PRESSED); }  if (hasAbandoned) { this.removeState(qx.ui.form.Button.STATE_ABANDONED); }  if (!hasAbandoned) 
context: qx.Proto._onmouseup = function(e){  this.setCapture(false);  if (!this.hasState(qx.ui.form.Button.STATE_ABANDONED))  {    this.addState(qx.ui.core.Widget.STATE_OVER);    if (this.hasState(qx.ui.form.Button.STATE_PRESSED)) {      this.execute();    }  }  this.removeState(qx.ui.form.Button.STATE_ABANDONED);  this.removeState(qx.ui.form.Button.STATE_PRESSED);}
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/32c4ad9029b801e984f446989dbe54600c9759a1/Button.js/buggy/qooxdoo/frontend/framework/source/class/qx/ui/form/Button.js