pub type XLeaveWindowEvent = XCrossingEvent;