102 static void gui_do_one_color(int idx, int do_menu, int do_tooltip);
105 static int  set_group_colors(char_u *name, guicolor_T *fgp, guicolor_T *bgp, int do_menu, int use_n…
106 static void hl_do_font(int idx, char_u *arg, int do_normal, int do_menu, int do_tooltip, int free_f…
1968     int		do_menu,  in set_group_colors()  argument
1977 	gui_do_one_color(idx, do_menu, do_tooltip);  in set_group_colors()
2107     int		do_menu UNUSED,		// set menu font  in hl_do_font()
2116 	|| do_menu  in hl_do_font()
2128 		|| do_menu  in hl_do_font()
2142 	if (do_menu)  in hl_do_font()
2180 	    if (do_menu)  in hl_do_font()
3617     int		do_menu UNUSED,	   // TRUE: might set the menu font  in gui_do_one_color()
3628 	    hl_do_font(idx, HL_TABLE()[idx].sg_font_name, FALSE, do_menu,  in gui_do_one_color()