/* shut up the display */ void sysdep_display_close(void) { /* close input */ svga_input_close(); /* close svgalib */ vga_setmode(TEXT); /* close glide */ CloseVScreen(); }
/* shut up the display */ void sysdep_display_close(void) { sysdep_display_effect_close(); /* close input */ svga_input_close(); /* close svgalib */ if (video_mode != -1) { vga_setmode(TEXT); video_mode = -1; } /* and don't forget to free our other resources */ if (doublebuffer_buffer) { free(doublebuffer_buffer); doublebuffer_buffer = NULL; } }