Searched refs:general_options_page (Results 1 – 1 of 1) sorted by relevance
3979 static GtkWidget *general_options_page (void) { in general_options_page() function4762 page = general_options_page (); in preferences_dialog()