public void editsDiscarded(TaskDataManagerEvent event) { reindex(event.getTask(), event.getTaskData()); }
public void taskDataUpdated(TaskDataManagerEvent event) { reindex(event.getTask(), event.getTaskData()); }