831 	int	is_menu_group,  in highlight_set_font()  argument
864 	hl_do_font(idx, arg, is_normal_group, is_menu_group,  in highlight_set_font()
1108 	int	is_menu_group UNUSED,  in highlight_set_guifg()
1144 	    if (is_menu_group && gui.menu_fg_pixel != i)  in highlight_set_guifg()
1177 	int	is_menu_group UNUSED,  in highlight_set_guibg()
1213 	    if (is_menu_group && gui.menu_bg_pixel != i)  in highlight_set_guibg()
1391     int		is_menu_group = FALSE;		// "Menu" group  in do_highlight()  local
1395 # define is_menu_group 0  in do_highlight()  macro
1511 	is_menu_group = TRUE;  in do_highlight()
1620 					      is_menu_group, is_tooltip_group))  in do_highlight()
1638 		if (highlight_set_guifg(idx, arg, is_menu_group,  in do_highlight()
1647 		if (highlight_set_guibg(idx, arg, is_menu_group,  in do_highlight()
1712 	else if (is_menu_group)  in do_highlight()