void InitVideoBuffer(int width, int height, int depth, boolean fullscreen)
{
+#if 0
+ printf("::: InitVideoBuffer\n");
+#endif
+
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;