156157158159160161162163164165166
// atomic with respect to the state of the UiJob if (job.isRunning()) { snapshot.started(job); job.addProgressMonitor(snapshot); } else { snapshot.ended(); } snapshots.addFirst(snapshot); updateLayout(); } });