/// <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));
}