external get_x : t -> float = "gui_event_adapter_get_x"