diff options
| -rw-r--r-- | video/win32_v.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/video/win32_v.c b/video/win32_v.c index 76e67dede..87533a551 100644 --- a/video/win32_v.c +++ b/video/win32_v.c @@ -652,6 +652,11 @@ static const char *Win32GdiStart(const char * const *parm) 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); |