Searched refs:jump_to_mouse (Results 1 – 3 of 3) sorted by relevance
13 int jump_to_mouse(int flags, int *inclusive, int which_button);
604 jump_flags = jump_to_mouse(jump_flags, NULL, which_button); in do_mouse()677 jump_flags = jump_to_mouse(jump_flags, in do_mouse()1494 jump_to_mouse( in jump_to_mouse() function
1285 (void)jump_to_mouse(MOUSE_SETPOS, NULL, 0); in wait_return()