rem: function CheckAndSaveDocument(reasonToSave) 
add: function CheckAndSaveDocument(reasonToSave, allowDontSave) 
context: function CheckAndSaveDocument(reasonToSave){  var document = editorShell.editorDocument;  if (!editorShell.documentModified)    return true;    var title = window.editorShell.editorDocument.title;  if (title.length == 0)    var title = GetString("untitled");        var dialogTitle = window.editorShell.GetString("SaveDocument");  var dialogMsg = window.editorShell.GetString("SaveFilePrompt");  dialogMsg = (dialogMsg.replace(/%title%/,title)).replace(/%reason%/,reasonToSave);    var result = {value:0};  commonDialogsService.UniversalDialog(    window,    null,    dialogTitle,    dialogMsg,    null,    window.editorShell.GetString("Save"),     // Save Button    window.editorShell.GetString("Cancel"),   // Cancel Button    window.editorShell.GetString("DontSave"), // Don't Save Button    null,    null,    null,    {value:0},    {value:0},    "chrome://global/skin/question-icon.gif",    {value:"false"},    3,    0,    0,    result    );      if (result.value == 0)    {     // Save     var success = window.editorShell.saveDocument(false, false);     return success;   }      if (result.value == 1) // "Cancel"     return false;   if (result.value == 2) // "Don't Save"     return true;}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/7789da1eb003f85e6cc18242751db9096e6cfc90/editor.js/buggy/editor/ui/composer/content/editor.js