add: if (!gFinished) { const nsIPromptService = Components.interfaces.nsIPromptService; var promptService = Components.classes["@mozilla.org/embedcomp/prompt-service;1"] .getService(nsIPromptService); const buttonFlags = (nsIPromptService.BUTTON_TITLE_IS_STRING * nsIPromptService.BUTTON_POS_0) + (nsIPromptService.BUTTON_TITLE_CANCEL * nsIPromptService.BUTTON_POS_1); var button = promptService.confirmEx(window, GetString("CancelPublishTitle"), GetString("CancelPublishMessage"), buttonFlags, GetString("CancelPublishContinue"), null, null, null, {}); if (button == 0) return false; }  
context: function onClose(){  if (gTimerID)  {    clearTimeout(gTimerID);    gTimerID = null;  }  if (!gFinished && gPersistObj)  {    try {      gPersistObj.cancelSave();    } catch (e) {}  }  SaveWindowLocation();  // Tell caller so they can cleanup and restore editability  window.opener.FinishPublishing();  return true;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/3121dbe55cb6c63fb71425cf42ac4a567997dfb4/EditorPublishProgress.js/buggy/editor/ui/dialogs/content/EditorPublishProgress.js