windowthumb: use button-release-event instead of button-press-event to catch problems with unintentional clicks that happen after the modal mode is exited and the release happens

This commit is contained in:
Tom Beckmann 2013-08-26 19:15:42 +02:00
parent cfbef3f2b3
commit 3135b6fdfd

View File

@ -131,7 +131,7 @@ namespace Gala
return true;
}
public override bool button_press_event (ButtonEvent event)
public override bool button_release_event (ButtonEvent event)
{
switch (event.button) {
case 1: