From c25b6ab7c6f24f7d0d20be1c1e0a70a54b5433ee Mon Sep 17 00:00:00 2001 From: Vincent Untz Date: Mon, 30 Jan 2012 14:25:50 +0100 Subject: core: Also shutdown everything resource-related --- libwnck/util.c | 5 +++++ libwnck/util.h | 4 ++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/libwnck/util.c b/libwnck/util.c index e2a434c..6416863 100644 --- a/libwnck/util.c +++ b/libwnck/util.c @@ -805,4 +805,9 @@ wnck_shutdown (void) _wnck_class_group_shutdown_all (); _wnck_application_shutdown_all (); _wnck_window_shutdown_all (); + + if (xres_removeid != 0) + g_source_remove (xres_removeid); + xres_removeid = 0; + wnck_pid_read_resource_usage_destroy_hash_table (NULL); } diff --git a/libwnck/util.h b/libwnck/util.h index ee9aa3a..5cdf367 100644 --- a/libwnck/util.h +++ b/libwnck/util.h @@ -104,6 +104,8 @@ typedef enum { void wnck_set_client_type (WnckClientType ewmh_sourceindication_client_type); +void wnck_shutdown (void); + void wnck_xid_read_resource_usage (GdkDisplay *gdk_display, gulong xid, WnckResourceUsage *usage); @@ -112,8 +114,6 @@ void wnck_pid_read_resource_usage (GdkDisplay *gdk_display, gulong pid, WnckResourceUsage *usage); -void wnck_shutdown (void); - G_END_DECLS #endif /* WNCK_UTIL_H */ -- cgit v1.2.1