external focus_in : t -> bool = "ml_GdkEventFocus_in"