public void delete_event(int event_code) { if (events.ContainsKey(event_code)) events.Remove(event_code); }