For now these are private, to replace internal uses of gtk_get_current_event[_state], but we may want to make them public.