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