HelenOS sources

panel_deactivate  301 uspace/app/nav/nav.c 		panel_deactivate(navigator->panel[0]);
panel_deactivate  306 uspace/app/nav/nav.c 		panel_deactivate(navigator->panel[1]);
panel_deactivate   58 uspace/app/nav/panel.h extern void panel_deactivate(panel_t *);
panel_deactivate  350 uspace/app/nav/test/panel.c 	panel_deactivate(panel);