Searched refs:menubar_save_cb_full_solver (Results 1 – 1 of 1) sorted by relevance
1770 menubar_save_cb_full_solver(GtkWidget *widget, gpointer data) { in menubar_save_cb_full_solver() function1954 G_CALLBACK(menubar_save_cb_full_solver), NULL); in menubar_solve_options_response()