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