rem: if (gDialog.nameField.value && gDialog.picker.getAttribute("uri")) 
add: if (gDialog.nameField.value && gDialog.picker.getAttribute("uri")) 
context: function doEnabling(){  if (gDialog.nameField.value && gDialog.picker.getAttribute("uri"))   {    if (gDialog.OKButton.disabled)      gDialog.OKButton.disabled = false;  }   else    gDialog.OKButton.disabled = true;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8395/0c3e75f9269436ce8074f0e484e530cfc7260c6f/virtualFolderProperties.js/buggy/mailnews/base/resources/content/virtualFolderProperties.js