Gtk::Widget::destory() ?

[Maik Beckmann <maikbeckmann gmx de>]

Hello List

On         
http://gtkmm.org/docs/gtkmm-2.4/docs/reference/html/classGtk_1_1Container.html#9f31c07118f7bdc7a4e0651acf35abbc

in the description for

        void Gtk::Container::remove  ( Widget&  widget  ) 

one can read:
... If you don't want to use widget again it's usually more efficient to
simply destroy it directly using Gtk::Widget::destroy() since this will
remove it from the container and help break any circular reference count
cycles.

But there is no Gtk::Widget::destroy(), or is there something I didn't
get right?

greetz Maik