/** * 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; } }