/**
* Overrides the super method to add a save cookie if the document has been marked modified.
*
* @return true if the environment accepted being marked as modified or false if it refused it and
* the document should still be unmodified
*/
protected boolean notifyModified() {
if (del.superNotifyModified()) {
EditorSupport.this.modifySaveCookie(true);
return true;
} else {
return false;
}
}
