external y : t -> float = "ml_GdkEventButton_y"