Inconsistent ordering of leave and button release signals
If you click on a window, drag the mouse off it, then release the mouse, the ordering of the leave and button release signals is inconsistent.
Example program: test.c
If I add the event controllers to the window, then the ordering is release-leave:
(Additionally - separate issue - leave events are not generated unless the mouse button is held down.)
If I add the event controllers to a child widget, then the ordering is leave-release:
What should have happened
In both cases, the release event should come before the leave event.
(Leave events should also always be generated, whether or not the mouse is held down.)
Possibly comes under the umbrella of #4552.