/// <summary> /// Selects or deselects a worker. /// </summary> public void SelectWorker(SpatialOsWorker worker, bool selectWorker) { var changed = selectWorker ? selectedWorkers.Add(worker) : selectedWorkers.Remove(worker); if (changed && OnWorkerSelectionChanged != null) { OnWorkerSelectionChanged(selectedWorkers); } }
/// <summary> /// Returns true if the worker is selected. /// </summary> public bool IsWorkerSelected(SpatialOsWorker worker) { return(selectedWorkers.Contains(worker)); }