rem: fp.defaultString = window.title; 
add: fp.defaultString = document.title; 
context: function p3pSummarySavePage(){  try  {    // make user pick target file    const kIFilePicker = Components.interfaces.nsIFilePicker;    var fp = Components.classes["@mozilla.org/filepicker;1"].      createInstance(kIFilePicker);    fp.init(window, getBundle().GetStringFromName("savePolicy.title"),       kIFilePicker.modeSave);    fp.appendFilters(kIFilePicker.filterAll | kIFilePicker.filterHTML);    fp.defaultString = window.title;    fp.defaultExtension = "html";    var rv = fp.show();    // write ``pretty printed'' source to file    if (rv == kIFilePicker.returnOK || rv == kIFilePicker.returnReplace)    {      const kIPersist = Components.interfaces.nsIWebBrowserPersist;      var persistor = Components.        classes["@mozilla.org/embedding/browser/nsWebBrowserPersist;1"].        createInstance(kIPersist);        persistor.saveDocument(getDocument(), fp.file, null, "text/html",           kIPersist.ENCODE_FLAGS_FORMATTED |           kIPersist.ENCODE_FLAGS_ENCODE_BASIC_ENTITIES, 0);    }  }  catch (ex)  {    try     {      alertMessage(getBundle().GetStringFromName("saveError"));    }    catch (ex)    {    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a50c536224ba88cd417b6d7e3018b7b3c8529b9c/p3pSummary.js/buggy/extensions/p3p/resources/content/p3pSummary.js