The onmouseleave property of the GlobalEventHandlers mixin is the event handler for processing mouseleave events.
The mouseleave event is fired when a pointing device (usually a mouse) is moved off the element that has the listener attached.