context: function setServerType(){  var pageData = parent.GetPageData();  var serverType = (document.getElementById("servertype")).selectedItem.value;  setPageData(pageData, "server", "servertype", serverType);  var ioService = Components.classes["@mozilla.org/network/io-service;1"]                            .getService(Components.interfaces.nsIIOService);  // only show checkbox if (1) mail window is opener (2) this is a pop account and (3) we are online    var openedFromMail = (window.opener.location.href == "chrome://messenger/content/messenger.xul") ||                        (window.opener.location.href == "chrome://messenger/content/mail3PaneWindowVertLayout.xul");           document.getElementById("downloadMsgs").hidden = (openedFromMail && serverType == "pop3" && !ioService.offline) ? false : true;  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/09238fce03ddaa7dc9deb42f8d366f029f5585b7/aw-server.js/clean/mailnews/base/prefs/resources/content/aw-server.js