external focus : t -> bool = "ml_GdkEventCrossing_focus"