version 1.2 | version 1.3 | |||
---|---|---|---|---|
|
| |||
#include <string.h> | #include <string.h> | |||
#include <stdio.h> | ||||
#include <vga.h> | #include <vga.h> | |||
#include <vgamouse.h> | #include <vgamouse.h> | |||
#include "fix.h" | #include "fix.h" | |||
|
| |||
void d_mouse_close(void) | void d_mouse_close(void) | |||
{ | { | |||
printf ("d_mouse_close"); | ||||
if (installed) | if (installed) | |||
vga_setmousesupport(0); | vga_setmousesupport(0); | |||
installed = 0; | installed = 0; |
Legend: | |
line(s) removed in v.1.2 | |
line(s) changed | |
line(s) added in v.1.3 |