
This patch fixes a problem in the mwm window manager where double-click actions
are performed on the second button press instead of the second button release.
This causes the second button release event to be sent to any underlying window.


