mouse_close - explicitly close a mouse
Closes the mouse device file. This should be called at the end of the
program (if a mouse is used) because it tries to restore the original
mouse state, if it has changed. In particular - don’t call
mouse_init(), mouse_close(), mouse_init() this sequence is not going to
work. Leave the mouse device open until the end of the program.
svgalib(7), vgagl(7), libvga.config(5), eventtest(6), mousetest(6),
mouse_init(3), mouse_getposition_6d(3), mouse_getx(3),
mouse_setposition(3), mouse_setscale(3), mouse_setwrap(3),
mouse_setxrange(3), mouse_update(3), mouse_waitforupdate(3),
mouse_seteventhandler(3), vga_setmousesupport(3), vga_waitevent(3)
This manual page was edited by Michael Weller <firstname.lastname@example.org-
essen.de>. 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
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.