rem: param.SetInt(0, 1); /* user hit OK */  
add: args.hitOK = true; 
context: function OkButtonCallback() {	nntpServer.maxArticles = numberElement.value;	//dump("mark read checked?="+markreadElement.checked+"\n");	nntpServer.markOldRead = markreadElement.checked;    var radio = document.getElementById("all");    if (radio) {        //dump("all 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 */	return true;}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/905c7b19cc8a42301898fc4e29b60dcc4c397d50/downloadheaders.js/buggy/mailnews/news/resources/content/downloadheaders.js