public void unregister( Game_event_listener listener ) { listeners.Remove( listener ); }
public void register( Game_event_listener listener ) { if ( !listeners.Contains( listener ) ) listeners.Add( listener ); }