FOCUS_EXPLICIT    471 src/androidterm.c       android_focus_changed (event->type, FOCUS_EXPLICIT,
FOCUS_EXPLICIT   5683 src/pgtkterm.c       && event->crossing.focus && !(focus_state & FOCUS_EXPLICIT))
FOCUS_EXPLICIT   5720 src/pgtkterm.c       && event->crossing.focus && !(focus_state & FOCUS_EXPLICIT))
FOCUS_EXPLICIT   5753 src/pgtkterm.c   pgtk_focus_changed (TRUE, FOCUS_EXPLICIT,
FOCUS_EXPLICIT   5777 src/pgtkterm.c   pgtk_focus_changed (FALSE, FOCUS_EXPLICIT,
FOCUS_EXPLICIT   3147 src/w32term.c                        FOCUS_IMPLICIT : FOCUS_EXPLICIT),
FOCUS_EXPLICIT   13772 src/xterm.c                && ! (focus_state & FOCUS_EXPLICIT))
FOCUS_EXPLICIT   13793 src/xterm.c    			FOCUS_IMPLICIT : FOCUS_EXPLICIT),
FOCUS_EXPLICIT   13802 src/xterm.c    			   FOCUS_EXPLICIT, dpyinfo, frame, bufp);