@Override
public void onDocumentChange(final DocumentChangeEvent event) {
if (documentHandle == null || !documentHandle.isSameAs(event.getDocument())) {
return;
}
createDirtyRegion(event);
autoSaveTimer.cancel();
autoSaveTimer.schedule(DELAY);
}
