Skip to content
Snippets Groups Projects
Commit f5de4bbf authored by Nils Vreman's avatar Nils Vreman
Browse files

Only markUpdate left to fix

parent be339d1d
No related branches found
No related tags found
No related merge requests found
......@@ -99,7 +99,6 @@ public class TasksetDisplay extends BoxPanel implements Observer, UpdateListener
marked = Optional.of((TaskGrid) obj);
for (TaskGrid tg : gridList) {
//if (marked.map(taskgrid -> taskgrid.equals(tg)).orElse(false)) marked = Optional.of(tg);
tg.unmark();
}
......@@ -144,6 +143,10 @@ public class TasksetDisplay extends BoxPanel implements Observer, UpdateListener
if (prio != -1) {
taskset.removeTask(prio);
marked = Optional.empty();
// Unmarks the rest of the grid
for (TaskGrid tg : gridList) {
tg.unmark();
}
}
} catch (NoSuchElementException e) {}
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment