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