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 _______________________________________________ gtkmm-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gtkmm-list
