Comment 5 for bug 360442

In case I have been assuming too much background knowledge, the point about main loop callbacks inserted with g_idle_add() is that they will keep being called on main loop iterations until the callback returns 0 (FALSE). With a callback with void type that will be random - no doubt with some machines/architectures it will happen eventually, on some (possibly yours) perhaps always, but with my hardware it doesn't happen at all. Happily the repeated calls to gtk_widget_destroy won't do anything too awful (apart from occupying CPU time) because GTK+ will detect that a widget is no longer at that address.

Chris