navigator_refresh_panels 48 uspace/app/nav/nav.h extern void navigator_refresh_panels(navigator_t *); navigator_refresh_panels 103 uspace/app/nav/newfile.c navigator_refresh_panels(nav);