# HG changeset patch # User Darkvater # Date 2005-12-19 00:19:12 # Node ID 14c54e8fd3a7806fcd6ca570d741fcecfc214cae # Parent ce10dcbc41368a8b85236726286d9099fa2dd017 (svn r3320) - Fix: FS#22 - Exiting with double size enabled saves wrong window size. Reset the window size to its true size upon exiting when double-size is active. Is set in ClientSizeChanged. diff --git a/video/win32_v.c b/video/win32_v.c --- a/video/win32_v.c +++ b/video/win32_v.c @@ -652,6 +652,11 @@ static const char *Win32GdiStart(const c static void Win32GdiStop(void) { if (_wnd.fullscreen) ChangeDisplaySettings(NULL, 0); + if (_double_size) { + _cur_resolution[0] *= 2; + _cur_resolution[1] *= 2; + } + MyShowCursor(true); DeleteObject(_wnd.gdi_palette); DeleteObject(_wnd.dib_sect);