public void AddEventReceiver(GuiEventReceiver receiver) { if (receiver == null) { return; } if (!_eventReceivers.Contains (receiver)) { _eventReceivers.Add (receiver); } }