From 6a85d35f81d25876828a0c41eca7f5b53bb9422c Mon Sep 17 00:00:00 2001 From: Andre Miranda Date: Thu, 26 May 2016 00:30:35 -0300 Subject: [PATCH] For GTK 3.2.0 use gdk_seat_get_pointer instead of gdk_device_manager_get_client_pointer --- panel-plugin/eyes.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/panel-plugin/eyes.c b/panel-plugin/eyes.c index 61a64ca..e997865 100644 --- a/panel-plugin/eyes.c +++ b/panel-plugin/eyes.c @@ -167,8 +167,13 @@ timer_cb(EyesPlugin *eyes) GdkWindow *window; GdkDevice *mouse_device; +#if GTK_CHECK_VERSION(3,2,0) + GdkSeat *seat = gdk_display_get_default_seat (gdk_display_get_default()); + mouse_device = gdk_seat_get_pointer (seat); +#else GdkDeviceManager *devman = gdk_display_get_device_manager (gdk_display_get_default()); mouse_device = gdk_device_manager_get_client_pointer (devman); +#endif for (i = 0; i < eyes->num_eyes; i++) {