gnome-wrapper bug?

[Dietmar Maurer <dm vlsivie tuwien ac at>]

I've just detected that the gnome-wrapper widget does not destroy its
gdk window when unrealize the widget. The following code is a quik
workaround (directly call gdk_window_destroy). But maybe someone has a
better solution.

static void
gnome_wrapper_unrealize (GtkWidget *widget)
{
 GnomeWrapper *wrapper;

 g_return_if_fail (widget != NULL);
 g_return_if_fail (GNOME_IS_WRAPPER (widget));

 wrapper = GNOME_WRAPPER (widget);

 gdk_window_set_user_data (wrapper->cover, NULL);
 gdk_window_destroy (wrapper->cover);
 wrapper->cover = NULL;

 gtk_style_detach (widget->style);
 gdk_window_set_user_data (widget->window, NULL);
 gdk_window_destroy (widget->window);
 widget->window = NULL;

}