src/video/win32_v.cpp
branchcpp_gui
changeset 6285 187e3ef04cc9
parent 6010 31378995786b
child 6294 6c74bf9cc5a4
child 6557 8381016f71f3
child 9895 7bd07f43b0e3
equal deleted inserted replaced
6284:45d0233e7d79 6285:187e3ef04cc9
   756 	DestroyWindow(_wnd.main_wnd);
   756 	DestroyWindow(_wnd.main_wnd);
   757 
   757 
   758 #if !defined(WINCE)
   758 #if !defined(WINCE)
   759 	if (_wnd.fullscreen) ChangeDisplaySettings(NULL, 0);
   759 	if (_wnd.fullscreen) ChangeDisplaySettings(NULL, 0);
   760 #endif
   760 #endif
   761 	if (_double_size) {
   761 	if (_wnd.double_size) {
   762 		_cur_resolution[0] *= 2;
   762 		_cur_resolution[0] *= 2;
   763 		_cur_resolution[1] *= 2;
   763 		_cur_resolution[1] *= 2;
   764 	}
   764 	}
   765 
   765 
   766 	MyShowCursor(true);
   766 	MyShowCursor(true);