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 ssl = document.getElementById("networkProxySSL");  var sslPort = document.getElementById("networkProxySSL_Port");  var socks = document.getElementById("networkProxySOCKS");  var socksPort = document.getElementById("networkProxySOCKS_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, ssl, sslPort, socks, socksPort, noProxy];  var auto = [autoURL, autoReload];    // radio buttons  var radiogroup = document.getElementById("networkProxyType");  switch ( radiogroup.data ) {    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" );      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" );      for (i = 0; i < auto.length; i++)         auto[i].removeAttribute( "disabled" );      break;  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/0b2dd2b2d2fd037df917e07645fa019a963332a5/pref-proxies.js/buggy/xpfe/components/prefwindow/resources/content/pref-proxies.js