# HG changeset patch
# User Patrice Mandin <patmandin@gmail.com>
# Date 1255170485 0
# Node ID 7b27a7fc4fdf9f60cf2b9e5d12346944985a7fff
# Parent  d1c0ac95d023a406c41ec1385f82fc77b84d976d
Disable double buffer for Milan. Also set current width,height after we read it.

diff -r d1c0ac95d023 -r 7b27a7fc4fdf src/video/xbios/SDL_xbios.c
--- a/src/video/xbios/SDL_xbios.c	Sat Oct 10 10:17:51 2009 +0000
+++ b/src/video/xbios/SDL_xbios.c	Sat Oct 10 10:28:05 2009 +0000
@@ -495,14 +495,15 @@
 
 				/* Read infos about current mode */ 
 				VsetScreen(-1, &XBIOS_oldvmode, MI_MAGIC, CMD_GETMODE);
-				this->info.current_w = si.scrWidth;
-				this->info.current_h = si.scrHeight;
 
 				si.size = sizeof(SCREENINFO);
 				si.devID = XBIOS_oldvmode;
 				si.scrFlags = 0;
 				VsetScreen(-1, &si, MI_MAGIC, CMD_GETINFO);
 
+				this->info.current_w = si.scrWidth;
+				this->info.current_h = si.scrHeight;
+
 				XBIOS_oldnumcol = 0;
 				if (si.scrFlags & SCRINFO_OK) {
 					if (si.scrPlanes <= 8) {
@@ -717,7 +718,7 @@
 		}
 	}
 #endif
-	if (flags & SDL_DOUBLEBUF) {
+	if ((flags & SDL_DOUBLEBUF) && ((XBIOS_cvdo>>16) != VDO_MILAN)) {
 		num_buffers = 2;
 		modeflags |= SDL_DOUBLEBUF;
 	}