rnd-20140117-2-src

[rocksndiamonds.git] / src / tools.c

diff --git a/src/tools.c b/src/tools.c
index 5766b7af56bcdd6f0944069c5d004a63c5742c36..34006e7d0bfcff0446a5b7992c71edc845a4ecf0 100644 (file)
--- a/src/tools.c
+++ b/src/tools.c
@@ -9099,7 +9099,7 @@ void PlaySoundSelecting()
 #endif
 }
 
-void ToggleFullscreenIfNeeded()
+void ToggleFullscreenOrChangeWindowScalingIfNeeded()
 {
   boolean change_fullscreen = (setup.fullscreen !=
                               video.fullscreen_enabled);