mouse_setscale man page
mouse_setscale — sets a mouse scale factor
void mouse_setscale(int s);
This routine sets the scale factor between the motion reported by the mouse and the size of one pixel. The larger the scale is, the slower the mouse cursor appears to move. The scale may be set to any non-zero integer. Negative scales result in flipped axes. Currently, there is no support for scale factors between 0 and 1 which would make the mouse appear faster than usual.
If this routine is never called, scale s defaults to 1.
svgalib(7), vgagl(7), libvga.config(5), eventtest(6), mouse_init(3), mouse_close(3), mouse_getposition_6d(3), mouse_getx(3), mouse_setposition(3), mouse_setwrap(3), mouse_setxrange(3), mouse_update(3), mouse_waitforupdate(3), vga_setmousesupport(3), mouse_seteventhandler(3), vga_waitevent(3)
This manual page was edited by Michael Weller <firstname.lastname@example.org>. The exact source of the referenced function as well as of the original documentation is unknown.
It is very likely that both are at least to some extent are due to Harm Hanemaayer <H.Hanemaayer@inter.nl.net>.
Occasionally this might be wrong. I hereby asked to be excused by the original author and will happily accept any additions or corrections to this first version of the svgalib manual.
mouse_close(3), mouse_getcaps(3), mouse_getposition_6d(3), mouse_getx(3), mouse_init(3), mouse_seteventhandler(3), mouse_setposition(3), mouse_setwrap(3), mouse_setxrange(3), mouse_update(3), mouse_waitforupdate(3), svgalib(7), vga_getmousetype(3), vga_setmousesupport(3).