equal
deleted
inserted
replaced
781 MakeWindow(_fullscreen); // _wnd.fullscreen screws up ingame resolution switching |
781 MakeWindow(_fullscreen); // _wnd.fullscreen screws up ingame resolution switching |
782 |
782 |
783 return true; |
783 return true; |
784 } |
784 } |
785 |
785 |
786 void ToggleFullScreen(bool full_screen) {MakeWindow(full_screen);} |
786 static void Win32GdiFullScreen(bool full_screen) {MakeWindow(full_screen);} |
787 |
787 |
788 const HalVideoDriver _win32_video_driver = { |
788 const HalVideoDriver _win32_video_driver = { |
789 Win32GdiStart, |
789 Win32GdiStart, |
790 Win32GdiStop, |
790 Win32GdiStop, |
791 Win32GdiMakeDirty, |
791 Win32GdiMakeDirty, |
792 Win32GdiMainLoop, |
792 Win32GdiMainLoop, |
793 Win32GdiChangeRes, |
793 Win32GdiChangeRes, |
|
794 Win32GdiFullScreen, |
794 }; |
795 }; |
795 |
796 |
796 |
797 |
797 /********************** |
798 /********************** |
798 * WIN32 MIDI PLAYER |
799 * WIN32 MIDI PLAYER |