/**
* Notification method called when the document become unmodified. Called after save or after
* reload of document.
*/
protected void notifyUnmodified() {
EditorSupport.this.modifySaveCookie(false);
del.superNotifyUnmodified();
}
/**
* Notification method called when the document become unmodified. Called after save or after
* reload of document.
*/
protected void notifyUnmodified() {
EditorSupport.this.modifySaveCookie(false);
del.superNotifyUnmodified();
}
