rem: var showWhenStartingPref = document.getElementById("browser.download.manager.showWhenStarting"); var closeWhenDonePref = document.getElementById("browser.download.manager.closeWhenDone"); closeWhenDonePref.disabled = !showWhenStartingPref.value; 
add: document.getElementById("browser.download.manager.closeWhenDone") .disabled = !document.getElementById("browser.download.manager.showWhenStarting").value; 
context:   showWhenStartingPrefChanged: function ()  {    var showWhenStartingPref = document.getElementById("browser.download.manager.showWhenStarting");    var closeWhenDonePref = document.getElementById("browser.download.manager.closeWhenDone");    closeWhenDonePref.disabled = !showWhenStartingPref.value;  },
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a67fbac8e4cbe72eefd3d734cee667f4efb1052b/downloads.js/buggy/mail/components/preferences/downloads.js