mouse_close3
Explicitly close a mouse
Usage
#include <vgamouse.h>
void mouse_close(void);
Overview
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.
Releases
Unchanged in 5 releases since Debian 3.1 (Sarge).