aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJavier <dev.git@javispedro.com>2016-08-07 00:25:24 +0200
committerJavier <dev.git@javispedro.com>2016-08-07 00:25:24 +0200
commitc7e9ad4b42b3165c06a683c3df311808a921a903 (patch)
treee825e90e4a47237159d579eb1aa8ba39f28d34a4
parentca2d031cddf6948f646a67305619e556c4986f61 (diff)
downloadtopmenu-gtk-c7e9ad4b42b3165c06a683c3df311808a921a903.tar.gz
topmenu-gtk-c7e9ad4b42b3165c06a683c3df311808a921a903.zip
clarify debug message
-rw-r--r--libtopmenu-server/topmenu-server.c7
1 files changed, 4 insertions, 3 deletions
diff --git a/libtopmenu-server/topmenu-server.c b/libtopmenu-server/topmenu-server.c
index 1e94398..389dd1f 100644
--- a/libtopmenu-server/topmenu-server.c
+++ b/libtopmenu-server/topmenu-server.c
@@ -60,9 +60,10 @@ static void update_selection_owner(guint32 time)
GdkWindow *cur_owner = gdk_selection_owner_get(selection_atom);
if (cur_owner != our_owner) {
- g_debug("Setting this process as owner of the selection");
- int res = gdk_selection_owner_set(our_owner, selection_atom, time, TRUE);
- g_debug("Result = %d", res);
+ g_debug("Setting this server as current TopMenu server");
+ if (!gdk_selection_owner_set(our_owner, selection_atom, time, TRUE)) {
+ g_warning("Could not set this server as TopMenu server");
+ }
}
}