Searched refs:ignore_case_toggled (Results 1 – 1 of 1) sorted by relevance
987 static gint ignore_case_toggled(GtkWidget *widget, gpointer data) in ignore_case_toggled() function1124 G_CALLBACK(ignore_case_toggled), in create_grep_bar()