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