public void unsubscribe(GrcBoxMonitor subs) { if (subscribers.Contains(subs)) { subscribers.Remove(subs); } }
public void subscribe(GrcBoxMonitor subs) { if (!subscribers.Contains(subs)) { subscribers.Add(subs); } }