rem: if (!newHdr) return; 
add: if (!newHdr || customHeaderOverflow()) return; 
context: function onAddHeader(){  var newHdr = TrimString(gHeaderInputElement.value);  gHeaderInputElement.value = "";  if (!newHdr) return;  if (!duplicateHdrExists(newHdr))  {    gArrayHdrs[gArrayHdrs.length] = newHdr;    var newItem = addRow(newHdr);    gHdrsList.selectItem (newItem); // make sure the new entry is selected in the tree    // now disable the add button    updateAddButton(true);    gHeaderInputElement.focus(); // refocus the input field for the next custom header  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b2d35f85c520a601c4f19ccf2169a729eceb11a5/CustomHeaders.js/buggy/mailnews/base/search/resources/content/CustomHeaders.js