(svn r8994) -Fix [FS642, r3320]: [win32] Resolution doubled in cfg file when fullscreen mode used. Use _wnd.double_size which gives back its correct state with respect to double size and fullscreen.
--- a/src/video/win32_v.cpp Sat Mar 03 10:48:25 2007 +0000
+++ b/src/video/win32_v.cpp Sat Mar 03 13:13:25 2007 +0000
@@ -758,7 +758,7 @@
#if !defined(WINCE)
if (_wnd.fullscreen) ChangeDisplaySettings(NULL, 0);
#endif
- if (_double_size) {
+ if (_wnd.double_size) {
_cur_resolution[0] *= 2;
_cur_resolution[1] *= 2;
}