Re: How to *not* destroy widgets after gtk_main_quit

[Havoc Pennington <hp redhat com>]

Frank Boehme <f boehme cs ucc ie> writes: 
> So it seems that by default all existing widgets are already registered
> for destruction with gtk_quit_add_destroy (). How can I undo this
> registration?

They aren't. Quitting the main loop has no effect on widgets.

(Unless the Eiffel bindings are doing something weird. It certainly
has no effect on widgets in regular GTK.)

Havoc