rem: for (i = 0; i < auto.length; i++) auto[i].removeAttribute( "disabled" ); 
add: for (i = 0; i < auto.length; i++) { prefstring = manual[i].getAttribute( "prefstring" ); if (!parent.hPrefWindow.getPrefIsLocked(prefstring)) auto[i].removeAttribute( "disabled" ); } 
context: function DoEnabling(){  var i;  var ftp = document.getElementById("networkProxyFTP");  var ftpPort = document.getElementById("networkProxyFTP_Port");  var gopher = document.getElementById("networkProxyGopher");  var gopherPort = document.getElementById("networkProxyGopher_Port");  var http = document.getElementById("networkProxyHTTP");  var httpPort = document.getElementById("networkProxyHTTP_Port");  var socks = document.getElementById("networkProxySOCKS");  var socksPort = document.getElementById("networkProxySOCKS_Port");  var socksVersion = document.getElementById("networkProxySOCKSVersion");  var socksVersion4 = document.getElementById("networkProxySOCKSVersion4");  var socksVersion5 = document.getElementById("networkProxySOCKSVersion5");  var ssl = document.getElementById("networkProxySSL");  var sslPort = document.getElementById("networkProxySSL_Port");  var noProxy = document.getElementById("networkProxyNone");  var autoURL = document.getElementById("networkProxyAutoconfigURL");  var autoReload = document.getElementById("autoReload");  // convenience arrays  var manual = [ftp, ftpPort, gopher, gopherPort, http, httpPort, socks, socksPort, socksVersion, socksVersion4, socksVersion5, ssl, sslPort, noProxy];  var auto = [autoURL, autoReload];  // radio buttons  var radiogroup = document.getElementById("networkProxyType");  switch ( radiogroup.value ) {    case "0":      for (i = 0; i < manual.length; i++)        manual[i].setAttribute( "disabled", "true" );      for (i = 0; i < auto.length; i++)        auto[i].setAttribute( "disabled", "true" );      break;    case "1":      for (i = 0; i < auto.length; i++)        auto[i].setAttribute( "disabled", "true" );      if (!radiogroup.disabled)        for (i = 0; i < manual.length; i++)          manual[i].removeAttribute( "disabled" );      break;    case "2":    default:      for (i = 0; i < manual.length; i++)        manual[i].setAttribute( "disabled", "true" );      if (!radiogroup.disabled)        for (i = 0; i < auto.length; i++)          auto[i].removeAttribute( "disabled" );      break;  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/b98ae74825d1b2fac3450f4733548c118e35ab31/pref-proxies.js/buggy/xpfe/components/prefwindow/resources/content/pref-proxies.js