Gtk.Widget.destroyed Reference Manual
Gtk.Widget.destroyed:
Description:
public
void
destroyed (
out
Gtk.Widget
widget_pointer)
created by
valadoc