add: /* Notify our dirty detector so this window won't be closed if another document is opened */ if (isNowDirty) docWasModified = true;      window.updateCommands("create"); window.updateCommands("save"); 
context:   NotifyDocumentStateChanged:function()  {  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/fb569dfb754af5e928ed36dc6de3f6a4931c89bd/editor.js/buggy/editor/ui/composer/content/editor.js