rem: document.getElementById(ids[i]).disabled = !preference.value; 
add: document.getElementById(ids[i]).disabled = disabled; 
context:   updateAutoInstallUI: function ()  {    var preference = document.getElementById("app.update.autoInstallEnabled");    var ids = ["autoInstallMode", "updateAnd"];    for (var i = 0; i < ids.length; ++i)      document.getElementById(ids[i]).disabled = !preference.value;    return undefined;  },
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/6e2262d10a0bfa5aff5d93ecaf96c47df05e0e20/advanced.js/buggy/mail/components/preferences/advanced.js