rem: okbutton.setAttribute("value", okButtonText); 
add: okbutton.setAttribute("label", okButtonText); 
context: function OnLoad(){    doSetOKCancel(OkButtonCallback, CancelButtonCallback);    gNewsBundle = document.getElementById("bundle_news");    if ("arguments" in window && window.arguments[0]) {        args = window.arguments[0].QueryInterface( Components.interfaces.nsINewsDownloadDialogArgs);        args.hitOK = false; /* by default, act like the user hit cancel */        args.downloadAll = false; /* by default, act like the user did not select download all */        var accountManager = Components.classes["@mozilla.org/messenger/account-manager;1"].getService(Components.interfaces.nsIMsgAccountManager);        server = accountManager.getIncomingServer(args.serverKey);        nntpServer = server.QueryInterface(Components.interfaces.nsINntpIncomingServer);        var downloadHeadersTitlePrefix = gNewsBundle.getString("downloadHeadersTitlePrefix");        var downloadHeadersInfoText1 = gNewsBundle.getString("downloadHeadersInfoText1");        var downloadHeadersInfoText2 = gNewsBundle.getString("downloadHeadersInfoText2");        var okButtonText = gNewsBundle.getString("okButtonText");        window.title = downloadHeadersTitlePrefix;        // this is not i18n friendly, fix this        var infotext = downloadHeadersInfoText1 + " " + args.articleCount + " " + downloadHeadersInfoText2;        setText('info',infotext);         var okbutton = document.getElementById("ok");        okbutton.setAttribute("value", okButtonText);        setText("newsgroupLabel", args.groupName);    }    numberElement = document.getElementById("number");    numberElement.value = nntpServer.maxArticles;    markreadElement = document.getElementById("markread");    markreadElement.checked = nntpServer.markOldRead;    return true;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/0b2dd2b2d2fd037df917e07645fa019a963332a5/downloadheaders.js/buggy/mailnews/news/resources/content/downloadheaders.js