[gnome-settings-daemon] media-keys: Remove unneeded include



commit 237ee15134fef174bc0ca607b04a627e868d15fa
Author: Bastien Nocera <hadess hadess net>
Date:   Tue Jul 2 13:28:56 2013 +0200

    media-keys: Remove unneeded include
    
    We don't use any gdk_x11 specific functions.

 plugins/media-keys/gsd-media-keys-manager.c |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/plugins/media-keys/gsd-media-keys-manager.c b/plugins/media-keys/gsd-media-keys-manager.c
index 8041f41..38e42a3 100644
--- a/plugins/media-keys/gsd-media-keys-manager.c
+++ b/plugins/media-keys/gsd-media-keys-manager.c
@@ -36,7 +36,6 @@
 #include <glib/gi18n.h>
 #include <gio/gio.h>
 #include <gdk/gdk.h>
-#include <gdk/gdkx.h>
 #include <gtk/gtk.h>
 #include <gio/gdesktopappinfo.h>
 #include <gio/gunixfdlist.h>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]