void InitVideoBuffer(int width, int height, int depth, boolean fullscreen)
{
+ printf("::: InitVideoBuffer\n");
+
video.width = width;
video.height = height;
video.depth = GetRealDepth(depth);
video.fullscreen_available = FULLSCREEN_STATUS;
video.fullscreen_enabled = FALSE;
+ // video.fullscreen_initial = FALSE;
#if 0
video.fullscreen_mode_current = NULL;
video.fullscreen_modes = NULL;