[gtkada] gtk_widget_destroy

[Arnaud Charlet]

> I have seen in gtk-widget.ads that gtk_widget_destroy is missing!

It's useless, since already defined in Gtk.Object

> how can I destroy a widget?

Unref it, or call Gtk.Widget.Destroy (My_Widget)

The 'missing' section in the GtkAda sources is intended for advanced
users that understand the basics of Gtk+/GtkAda. It is not recommended for
"beginners" (no offense intended, but given the questions you're asking
on this list, you are clearly in the beginners category wrt Ada and GtkAda).

Arno