context: function EditorReflectDocState(){  var docState = window.editorShell.documentStatus;  var stateString;    if (docState == 0) {    stateString = "unmodified";  } else {    stateString = "modified";  }    var oldModified = documentModified;  documentModified = (window.editorShell.documentStatus != 0);    if (oldModified != documentModified)    UpdateSaveButton(documentModified);    return true;}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/0b2dd2b2d2fd037df917e07645fa019a963332a5/editor.js/clean/editor/ui/composer/content/editor.js