_menui_redraw_menu
_menui_redraw_menu(menu, old_top_row, old_cur_item);
static void _menui_redraw_menu(MENU *menu, int old_top_row, int old_cur_item);