external set_default_mod_mask : Gdk.Tags.modifier list option -> unit = "ml_gtk_accelerator_set_default_mod_mask"