menu_set_name      49 lib/widget/menu.h void menu_set_name (menu_t *menu, const char *name);
menu_set_name    1627 src/filemanager/filemanager.c     menu_set_name (left_menu, panels_layout.horizontal_split ? _ ("&Above") : _ ("&Left"));
menu_set_name    1628 src/filemanager/filemanager.c     menu_set_name (right_menu, panels_layout.horizontal_split ? _ ("&Below") : _ ("&Right"));