nav_menu_file_copy 111 uspace/app/nav/menu.c ui_menu_entry_set_cb(mcopy, nav_menu_file_copy, (void *) menu); nav_menu_file_copy 52 uspace/app/nav/menu.h extern void nav_menu_file_copy(ui_menu_entry_t *, void *);