external height : t -> int = "ml_GdkEventConfigure_height"