add:  var ioService = Components.classes["@mozilla.org/network/io-service;1"] .getService(Components.interfaces.nsIIOService);   var openedFromMail = (window.opener.location.href == "chrome: (window.opener.location.href == "chrome:  document.getElementById("downloadMsgs").hidden = (openedFromMail && serverType == "pop3" && !ioService.offline) ? false : true;  
context: function setServerType(){  var pageData = parent.GetPageData();  var serverType = (document.getElementById("servertype")).selectedItem.value;  setPageData(pageData, "server", "servertype", serverType);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a2ef4e4fe9b5a5ab9fec100a1ffb30713454b316/aw-server.js/buggy/mailnews/base/prefs/resources/content/aw-server.js