dwnd_focus_event 64 uspace/lib/ui/src/window.c static void dwnd_focus_event(void *, unsigned); dwnd_focus_event 72 uspace/lib/ui/src/window.c .focus_event = dwnd_focus_event,