rem:  var disableReloadPref = document.getElementById("pref.advanced.proxies.disable_button.reload"); disableReloadPref.disabled = proxyTypePref.value != 2; 
add:  this.updateReloadButton(); 
context:   proxyTypeChanged: function ()  {    var proxyTypePref = document.getElementById("network.proxy.type");        // Update http    var httpProxyURLPref = document.getElementById("network.proxy.http");    httpProxyURLPref.disabled = proxyTypePref.value != 1;    var httpProxyPortPref = document.getElementById("network.proxy.http_port");    httpProxyPortPref.disabled = proxyTypePref.value != 1;    // Now update the other protocols    this.updateProtocolPrefs();    var shareProxiesPref = document.getElementById("network.proxy.share_proxy_settings");    shareProxiesPref.disabled = proxyTypePref.value != 1;        var noProxiesPref = document.getElementById("network.proxy.no_proxies_on");    noProxiesPref.disabled = proxyTypePref.value != 1;        var autoconfigURLPref = document.getElementById("network.proxy.autoconfig_url");    autoconfigURLPref.disabled = proxyTypePref.value != 2;        var disableReloadPref = document.getElementById("pref.advanced.proxies.disable_button.reload");    disableReloadPref.disabled = proxyTypePref.value != 2;  },
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/508d41a568203e5a1cc8ce35d91083a7dc044c20/connection.js/buggy/browser/components/preferences/connection.js