Searched refs:on_preferences_checkbutton_custom_result_font_toggled (Results 1 – 2 of 2) sorted by relevance
421 void on_preferences_checkbutton_custom_result_font_toggled(GtkToggleButton *w, gpointer user_data);
21516 void on_preferences_checkbutton_custom_result_font_toggled(GtkToggleButton *w, gpointer) { in on_preferences_checkbutton_custom_result_font_toggled() function