rem: gPrefs.SetCharPref("mailnews.customHeaders", hdrs); 
add: gPrefs.setCharPref("mailnews.customHeaders", hdrs); 
context: function onOk(){   if (gArrayHdrs.length)  {    var hdrs = gArrayHdrs.join(": ");    gPrefs.SetCharPref("mailnews.customHeaders", hdrs);  }  window.close();}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/faf03ce445712b372523f881cc3144cfadc7a611/CustomHeaders.js/clean/mailnews/base/search/resources/content/CustomHeaders.js