rem: return qx.ui.menu.MenuCheckBox.prototype._modifyChecked.call(this, propValue, propOldValue, propData); 
add: propValue ? this.addState(qx.ui.form.Button.STATE_CHECKED) : this.removeState(qx.ui.form.Button.STATE_CHECKED); this.getIconObject().setSource(propValue ? "widget/menu/radiobutton.gif" : qx.manager.object.ImageManager.BLANK);  return true; 
context: qx.Proto._modifyChecked = function(propValue, propOldValue, propData){  var vManager = this.getManager();  if (vManager)  {    if (propValue)    {      vManager.setSelected(this);    }    else if (vManager.getSelected() == this)    {      vManager.setSelected(null);    }  }  return qx.ui.menu.MenuCheckBox.prototype._modifyChecked.call(this, propValue, propOldValue, propData);}
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/09556d30624f32105fbb5d09d70605076fa0ee13/MenuRadioButton.js/clean/qooxdoo/frontend/framework/source/class/qx/ui/menu/MenuRadioButton.js