[gnome-settings-daemon] media-keys: Rename get_screen_from_root()



commit 2861ad7f4d811aa2a0bb5170bd06fd23290de3e1
Author: Bastien Nocera <hadess hadess net>
Date:   Wed Nov 2 15:14:43 2011 +0000

    media-keys: Rename get_screen_from_root()

 plugins/media-keys/gsd-media-keys-manager.c |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/plugins/media-keys/gsd-media-keys-manager.c b/plugins/media-keys/gsd-media-keys-manager.c
index aa97487..d99a773 100644
--- a/plugins/media-keys/gsd-media-keys-manager.c
+++ b/plugins/media-keys/gsd-media-keys-manager.c
@@ -1700,8 +1700,8 @@ do_action (GsdMediaKeysManager *manager,
 }
 
 static GdkScreen *
-acme_get_screen_from_root (GsdMediaKeysManager *manager,
-                           Window               root)
+get_screen_from_root (GsdMediaKeysManager *manager,
+                      Window               root)
 {
         GSList    *l;
 
@@ -1766,7 +1766,7 @@ acme_filter_events (XEvent              *xevent,
                                 }
                         }
 
-                        manager->priv->current_screen = acme_get_screen_from_root (manager, xev->root);
+                        manager->priv->current_screen = get_screen_from_root (manager, xev->root);
 
                         if (do_action (manager, deviceid, key->key_type, xev->time) == FALSE) {
                                 return GDK_FILTER_REMOVE;



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