add Gtkmm2ext::event_type_string()