From 2d65bd08c31aaaa00d22cd24d76057404a0a95f1 Mon Sep 17 00:00:00 2001
From: "Owen W. Taylor" <otaylor@fishsoup.net>
Date: Thu, 28 Oct 2010 16:43:55 -0400
Subject: [PATCH] Remove unused GdkDeviceManager variable

gdk_display_get_device_manager() was called but the device manager
not used.
---
 gdk/gdkevents.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/gdk/gdkevents.c b/gdk/gdkevents.c
index 7fd197ec0b..7d7a7dbd02 100644
--- 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 ||