diff options
| author | Alberts Muktupāvels <[email protected]> | 2017-04-23 13:00:23 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2017-04-23 13:01:25 +0200 |
| commit | 6d9adde1f91d399f5e429f9f09f996aecb7cfa35 (patch) | |
| tree | 37152fe7ca2c3b46db618561a1401da38e75e0b5 /src/ui | |
| parent | 76ed712251aeab04ce7e7b5d9c421baf9b9f34cd (diff) | |
| download | marco-6d9adde1f91d399f5e429f9f09f996aecb7cfa35.tar.bz2 marco-6d9adde1f91d399f5e429f9f09f996aecb7cfa35.tar.xz | |
ui: avoid deprecated GdkDeviceManager
taken from:
https://git.gnome.org/browse/metacity/commit/?id=7ec9a6f
Diffstat (limited to 'src/ui')
| -rw-r--r-- | src/ui/ui.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/ui/ui.c b/src/ui/ui.c index 28a9bbd5..2c1747ff 100644 --- a/src/ui/ui.c +++ b/src/ui/ui.c @@ -89,7 +89,11 @@ maybe_redirect_mouse_event (XEvent *xevent) { GdkDisplay *gdisplay; MetaUI *ui; +#if GTK_CHECK_VERSION(3, 20, 0) + GdkSeat *seat; +#else GdkDeviceManager *gmanager; +#endif GdkDevice *gdevice; GdkEvent *gevent; GdkWindow *gdk_window; @@ -121,8 +125,13 @@ maybe_redirect_mouse_event (XEvent *xevent) if (gdk_window == NULL) return FALSE; +#if GTK_CHECK_VERSION(3, 20, 0) + seat = gdk_display_get_default_seat (gdisplay); + gdevice = gdk_seat_get_pointer (seat); +#else gmanager = gdk_display_get_device_manager (gdisplay); gdevice = gdk_device_manager_get_client_pointer (gmanager); +#endif /* If GDK already thinks it has a grab, we better let it see events; this * is the menu-navigation case and events need to get sent to the appropriate |