context: function onRemoveHeader(){  var listitem = gHdrsList.selectedItems[0]  if (!listitem) return;  gHdrsList.removeChild(listitem);  var selectedHdr = GetListItemAttributeStr(listitem);  var j=0;  for (var i=0;i<gArrayHdrs.length; i++)   {    if (gArrayHdrs[i] == selectedHdr)    {      gArrayHdrs.splice(i,1);      break;    }  }}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/5b7848020fa1667d7c492b16926c7359a30f2253/CustomHeaders.js/buggy/mailnews/base/search/resources/content/CustomHeaders.js