add:   document.getElementById("download").disabled = true; document.getElementById("downloadDisabledMsg").hidden = false; 
context: function fillDefaultSettings(){  document.getElementById("port").value = kDefaultLDAPPort;  document.getElementById("results").value = kDefaultMaxHits;  var sub = document.getElementById("sub");  sub.radioGroup.selectedItem = sub;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/736aadab5ea43d00e10bb0d20ab3ce1c5324a631/pref-directory-add.js/clean/mailnews/addrbook/prefs/resources/content/pref-directory-add.js