string get_tab_label_text(GTK2.Widget child)
Retrieves the text of the tab label for the page containing child.