diff options
| author | Adel Gadllah <adel.gadllah@gmail.com> | 2013-02-13 18:18:26 +0100 |
|---|---|---|
| committer | Adel Gadllah <adel.gadllah@gmail.com> | 2013-02-13 18:32:57 +0100 |
| commit | 579bf2105edaae518d313a091a93439a60d18a4a (patch) | |
| tree | ca898da22f3a2bef33a7e8dcd22b8084f33a4af2 | |
| parent | 995e8040dd696e8b0c33a19ca4a49de7a03691b0 (diff) | |
| download | mutter-579bf2105edaae518d313a091a93439a60d18a4a.tar.gz | |
display: Pass timestamp to meta_display_end_grab_op
We need to pass the timestamp not the event detail to meta_display_end_grab_op
https://bugzilla.gnome.org/show_bug.cgi?id=690580
| -rw-r--r-- | src/core/display.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/display.c b/src/core/display.c index 06ed85c5c..6f0317824 100644 --- a/src/core/display.c +++ b/src/core/display.c @@ -2091,7 +2091,7 @@ event_callback (XEvent *event, display->grab_old_window_stacking); } meta_display_end_grab_op (display, - device_event->detail); + device_event->time); } else if (window && display->grab_op == META_GRAB_OP_NONE) { |