windowthumb: use button_release event on close button in order to prevent the view closing by a late button release (which would then be emitted on the background)

This commit is contained in:
Tom Beckmann 2013-01-20 11:11:51 +01:00
parent ae4926b10f
commit 38b1445a25

View File

@ -54,7 +54,7 @@ namespace Gala
close_button.scale_x = 0.0f;
close_button.scale_y = 0.0f;
close_button.scale_gravity = Gravity.CENTER;
close_button.button_press_event.connect (close_button_clicked);
close_button.button_release_event.connect (close_button_clicked);
close_button.leave_event.connect ((e) => leave_event (e));
try {