Searched refs:save_default_output_header_type (Results 1 – 2 of 2) sorted by relevance
2867 static void save_default_output_header_type(prefs_info *prf, FILE *ignore) in save_default_output_header_type() function
19556 …remember_pref(prf, reflect_default_output_header_type, save_default_output_header_type, help_defau… in make_preferences_dialog()