rem: FinishHTMLSource();  
context: function CloseWindow(){  FinishHTMLSource();  // Check to make sure document is saved. "true" means allow "Don't Save" button,  //   so user can choose to close without saving  if (CheckAndSaveDocument(window.editorShell.GetString("BeforeClosing"), true))   {    if (window.InsertCharWindow)      SwitchInsertCharToAnotherEditorOrClose();    window.editorShell.CloseWindowWithoutSaving();  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/69432aadbb95c3ba9c00e515bd746a895552a1ad/ComposerCommands.js/buggy/editor/ui/composer/content/ComposerCommands.js