Provided by: libsvga1-dev_1.4.3-31_amd64 bug

NAME

       mouse_close - explicitly close a mouse

SYNOPSIS

       #include <vgamouse.h>

       void mouse_close(void);

DESCRIPTION

       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.

SEE ALSO

       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)

AUTHOR

       This  manual  page  was edited by Michael Weller <eowmob@exp-math.uni-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  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.