FRAME_MOUSE_UPDATE 1773 src/androidterm.c   FRAME_MOUSE_UPDATE (f);
FRAME_MOUSE_UPDATE  225 src/haikuterm.c   FRAME_MOUSE_UPDATE (f);
FRAME_MOUSE_UPDATE 1312 src/msdos.c      FRAME_MOUSE_UPDATE (f);
FRAME_MOUSE_UPDATE 3345 src/pgtkterm.c   FRAME_MOUSE_UPDATE (f);
FRAME_MOUSE_UPDATE  763 src/w32term.c    FRAME_MOUSE_UPDATE (f);
FRAME_MOUSE_UPDATE 7625 src/xterm.c      FRAME_MOUSE_UPDATE (f);