Searched refs:tab_label_container (Results 1 – 1 of 1) sorted by relevance
507 GtkWidget *tab_label_container; /* Container to hold text label & close button */ in use_integrated_ui_for_display_shell() local522 tab_label_container = gtk_hbox_new(FALSE,3); in use_integrated_ui_for_display_shell()525 gtk_box_pack_start( GTK_BOX(tab_label_container), label, FALSE, FALSE, 0 ); in use_integrated_ui_for_display_shell()554 gtk_box_pack_start( GTK_BOX(tab_label_container), close_button, FALSE, FALSE, 0 ); in use_integrated_ui_for_display_shell()579 tab_label_container); in use_integrated_ui_for_display_shell()