mouse_cursor_right_edge 2724 src/androidfns.c     mouse_cursor_right_edge,
mouse_cursor_right_edge 1251 src/xfns.c       mouse_cursor_right_edge,