Searched refs:page_label (Results 1 – 2 of 2) sorted by relevance
124 GtkWidget *page_label; member
744 ge->page_label = gtk_label_new(name); in get_new_ge_with_tab()745 ge->page_num = gtk_notebook_append_page(GTK_NOTEBOOK(ui->notebook), ge->vbox, ge->page_label); in get_new_ge_with_tab()853 gtk_label_set_text(GTK_LABEL(ge->page_label), basename(label)); in do_file_open()