navigator_panel_file_open 72 uspace/app/nav/nav.c static void navigator_panel_file_open(void *, panel_t *, const char *); navigator_panel_file_open 76 uspace/app/nav/nav.c .file_open = navigator_panel_file_open