Gtk::Notebook memory management quirks

[Julien Langer <julien langer googlemail com>]

Hi,

About this function:
http://www.gtkmm.org/docs/gtkmm-2.4/docs/reference/html/classGtk_1_1Notebook.html#f7bdf8ec9f703fb21aec6d372085f38a

I noticed that the tab label does not get deleted automatically when the
page is removed via remove_page (the child widget is properly removed
though).
Is this the intended behaviour? It seems a bit strange to me and it also
doesn't seem to be documented (at least I didn't find anything about it)


-Julien