Searched refs:results_menu (Results 1 – 2 of 2) sorted by relevance
116 GtkWidget *results_menu; member
102 ge->results_menu = get_results_menubar(win, ge); in get_results_window()103 gtk_box_pack_start(GTK_BOX(vbox), ge->results_menu, FALSE, FALSE, 0); in get_results_window()