rem: updateButtons(); 
add: updateAddButton(true); updateRemoveButton();  
context: function onLoad(){    gPrefs = Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefBranch);    var hdrs;    try    {       hdrs = gPrefs.getCharPref("mailnews.customHeaders");    }    catch(ex)    {      hdrs =null;    }    gHeaderInputElement = document.getElementById("headerInput");    gHdrsList = document.getElementById("headerList");    gArrayHdrs = new Array();    addButton = document.getElementById("addButton");    removeButton = document.getElementById("removeButton");    initializeDialog(hdrs);    doSetOKCancel(onOk, null);    updateButtons();    moveToAlertPosition();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/c5301bd3ac138ec4e487145b3effad4164277ee7/CustomHeaders.js/clean/mailnews/base/search/resources/content/CustomHeaders.js