[gnome-settings-daemon] media-keys: Remove unneeded include
- From: Bastien Nocera <hadess src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-settings-daemon] media-keys: Remove unneeded include
- Date: Tue, 2 Jul 2013 12:00:03 +0000 (UTC)
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]