navigator_edit_file 628 uspace/app/nav/nav.c return navigator_edit_file(navigator, fname); navigator_edit_file 646 uspace/app/nav/nav.c (void)navigator_edit_file(navigator, attr.name);