context: function SetElementEnabledByID( elementID, doEnable ){  element = document.getElementById(elementID);  if ( element )  {//dump("*** SetElementEnabledByID: Element="+element+" ID="+elementID+"\n");    if ( doEnable )    {      element.removeAttribute( "disabled" );    }    else    {      element.setAttribute( "disabled", "true" );    }  }  else  {    dump("Element "+elementID+" not found in SetElementEnabledByID\n");  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/09dbd3f1556c00542360dd6c1631baa30a26fcb6/EdDialogCommon.js/buggy/editor/ui/dialogs/content/EdDialogCommon.js