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