(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.

src/video/win32_v.cpp

@@ -758,7 +758,7 @@ static void Win32GdiStop(void)
 #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;
 	}