external area : t -> Rectangle.t = "ml_GdkEventExpose_area"