[gtk+] GtkMenu: Avoid GdkDeviceManager API

[Carlos Garnacho <carlosg src gnome org>]

commit 04d7bd49d0ef2af6df12e16d99de7c591c23ebea
Author: Carlos Garnacho <carlosg gnome org>
Date:   Wed Dec 16 19:24:20 2015 +0100

    GtkMenu: Avoid GdkDeviceManager API
    
    We used to pick a master pointer "at random", use the default seat pointer
    instead.

 gtk/gtkmenu.c |   12 +-----------
 1 files changed, 1 insertions(+), 11 deletions(-)
---
diff --git a/gtk/gtkmenu.c b/gtk/gtkmenu.c
index fa7eda7..16d5193 100644
--- a/gtk/gtkmenu.c
+++ b/gtk/gtkmenu.c
@@ -1602,17 +1602,7 @@ gtk_menu_popup_for_device (GtkMenu             *menu,
     device = NULL;
 
   if (device == NULL)
-    {
-      GdkDeviceManager *device_manager;
-      GList *devices;
-
-      device_manager = gdk_display_get_device_manager (display);
-      devices = gdk_device_manager_list_devices (device_manager, GDK_DEVICE_TYPE_MASTER);
-
-      device = devices->data;
-
-      g_list_free (devices);
-    }
+    device = gdk_seat_get_pointer (gdk_display_get_default_seat (display));
 
   widget = GTK_WIDGET (menu);
   menu_shell = GTK_MENU_SHELL (menu);