win32.c
changeset 1829 e90fe433fa7d
parent 1806 5a55d508c23e
child 1881 435d39bd6ee0
--- a/win32.c	Mon May 16 15:05:49 2005 +0000
+++ b/win32.c	Mon May 16 16:19:32 2005 +0000
@@ -783,7 +783,7 @@
 	return true;
 }
 
-void ToggleFullScreen(bool full_screen) {MakeWindow(full_screen);}
+static void Win32GdiFullScreen(bool full_screen) {MakeWindow(full_screen);}
 
 const HalVideoDriver _win32_video_driver = {
 	Win32GdiStart,
@@ -791,6 +791,7 @@
 	Win32GdiMakeDirty,
 	Win32GdiMainLoop,
 	Win32GdiChangeRes,
+	Win32GdiFullScreen,
 };