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/53953ee69005a4dd6cee2e8213a8514564bdbdd8/editor.js/buggy/editor/ui/composer/content/editor.js