notedSelectionCoordsChanged |= selectionCoordsChanged;
notedSelectionLocationChanged |= selectionLocationChanged;
notedContentChanged |= contentChanged;
notedUserDirectlyChangedContent |= userDirectlyChangedContent;
Scheduler scheduler = SchedulerInstance.get();
if (!scheduler.isScheduled(notificationTask)) {
scheduler.scheduleRepeating(Priority.MEDIUM, notificationTask,
INITIAL_NOTIFY_SCHEDULE_DELAY_MS, NOTIFY_SCHEDULE_DELAY_GAP_MS);
} else {
notifyAgain = true;
}
}