add: var radio = document.getElementById("all"); if (radio) { dump("radio value " + radio.checked + "\n"); if (radio.checked) { param.SetInt(1, 1); /* the user selected download all */ } else { param.SetInt(1, 0); /* the user did not select download all */ } }  param.SetInt(0, 1); /* user hit OK */  
context: function OkButtonCallback() {	nntpServer.maxArticles = numberElement.value;	nntpServer.markOldRead = markreadElement.checked;	return true;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/1af4a5481e3c573696c16745c002899134d6f48a/downloadheaders.js/buggy/mailnews/news/resources/content/downloadheaders.js