FOCUS_NONE        279 src/androidterm.h     FOCUS_NONE     = 0,
FOCUS_NONE        440 src/pgtkterm.h   FOCUS_NONE = 0,
FOCUS_NONE        300 src/w32term.h    FOCUS_NONE     = 0,
FOCUS_NONE       1382 src/xterm.h      FOCUS_NONE     = 0,