rem: { 
add: { 
context: function onOk(){   if (gArrayHdrs.length)  {    var hdrs = gArrayHdrs.join(": ");    gPrefs.setCharPref("mailnews.customHeaders", hdrs);    // flush prefs to disk, in case we crash, to avoid dataloss and problems with filters that use the custom headers    var prefService = Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefService);    prefService.savePrefFile(null);  }  else  {    try    {      gPrefs.clearUserPref("mailnews.customHeaders"); //clear the pref, no custom headers     }    catch(ex) {}  //will throw an exception if there is no "mailnews.customHeaders" in prefs.js  }  window.close();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/143e9d4b92c6ff4755c074c31dd30b8291c57098/CustomHeaders.js/clean/mailnews/base/search/resources/content/CustomHeaders.js