mouse_off_maybe   948 src/msdos.c      mouse_off_maybe ();
mouse_off_maybe  1066 src/msdos.c      mouse_off_maybe ();