external get_button_mask : t -> int = "gui_event_adapter_get_button_mask"