FOCUS_EXPLICIT    471 src/androidterm.c       android_focus_changed (event->type, FOCUS_EXPLICIT,
FOCUS_EXPLICIT   5686 src/pgtkterm.c       && event->crossing.focus && !(focus_state & FOCUS_EXPLICIT))
FOCUS_EXPLICIT   5723 src/pgtkterm.c       && event->crossing.focus && !(focus_state & FOCUS_EXPLICIT))
FOCUS_EXPLICIT   5756 src/pgtkterm.c   pgtk_focus_changed (TRUE, FOCUS_EXPLICIT,
FOCUS_EXPLICIT   5780 src/pgtkterm.c   pgtk_focus_changed (FALSE, FOCUS_EXPLICIT,
FOCUS_EXPLICIT   3147 src/w32term.c                        FOCUS_IMPLICIT : FOCUS_EXPLICIT),
FOCUS_EXPLICIT   13830 src/xterm.c                && ! (focus_state & FOCUS_EXPLICIT))
FOCUS_EXPLICIT   13851 src/xterm.c    			FOCUS_IMPLICIT : FOCUS_EXPLICIT),
FOCUS_EXPLICIT   13860 src/xterm.c    			   FOCUS_EXPLICIT, dpyinfo, frame, bufp);