diff options
author | Javier <dev.git@javispedro.com> | 2016-08-07 00:25:24 +0200 |
---|---|---|
committer | Javier <dev.git@javispedro.com> | 2016-08-07 00:25:24 +0200 |
commit | c7e9ad4b42b3165c06a683c3df311808a921a903 (patch) | |
tree | e825e90e4a47237159d579eb1aa8ba39f28d34a4 | |
parent | ca2d031cddf6948f646a67305619e556c4986f61 (diff) | |
download | topmenu-gtk-c7e9ad4b42b3165c06a683c3df311808a921a903.tar.gz topmenu-gtk-c7e9ad4b42b3165c06a683c3df311808a921a903.zip |
clarify debug message
-rw-r--r-- | libtopmenu-server/topmenu-server.c | 7 |
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"); + } } } |