Remove unused GdkDeviceManager variable

gdk_display_get_device_manager() was called but the device manager
not used.

diff --git a/gdk/gdkevents.c b/gdk/gdkevents.c
index 7fd197ec0bee9561a8903920af63c409a8d39e8d..7d7a7dbd02a4de0ad9ad29112cbc72f8ab85ac42 100644 (file)
--- a/gdk/gdkevents.c
+++ b/gdk/gdkevents.c
@@ -1033,14 +1033,12 @@ gdk_event_get_device (const GdkEvent *event)
       {
         GdkDisplay *display;
         GdkDevice *core_pointer;
-        GdkDeviceManager *device_manager;
 
         g_warning ("Event with type %d not holding a GdkDevice. "
                    "It is most likely synthesized outside Gdk/GTK+\n",
                    event->type);
 
         display = gdk_window_get_display (event->any.window);
-        device_manager = gdk_display_get_device_manager (display);
         core_pointer = gdk_display_get_core_pointer (display);
 
         if (event->type == GDK_KEY_PRESS ||