fixed bug with using wrong draw buffer after request if game has ended

[rocksndiamonds.git] / src / tools.h

diff --git a/src/tools.h b/src/tools.h
index ea8688db1c6fa987a443f3ceeb0c6155746ba29c..de7bb467b567934821e134e1f25b8f45d0ecca38 100644 (file)
--- a/src/tools.h
+++ b/src/tools.h
@@ -4,7 +4,7 @@
 // (c) 1995-2014 by Artsoft Entertainment
 //                         Holger Schemel
 //                 info@artsoft.org
-//                 http://www.artsoft.org/
+//                 https://www.artsoft.org/
 // ----------------------------------------------------------------------------
 // tools.h
 // ============================================================================
@@ -85,6 +85,7 @@ void DrawMaskedBorderToTarget(int);
 void DrawTileCursor(int);
 
 void SetDrawtoField(int);
+int GetDrawtoField(void);
 void RedrawPlayfield(void);
 void BlitScreenToBitmapExt_RND(Bitmap *, int, int);
 void BlitScreenToBitmap_RND(Bitmap *);
@@ -283,7 +284,9 @@ void ResetFontStatus(void);
 
 void SetLevelSetInfo(char *, int);
 
-void ToggleFullscreenOrChangeWindowScalingIfNeeded(void);
+void ToggleFullscreenIfNeeded(void);
+void ChangeWindowScalingIfNeeded(void);
+void ChangeVsyncModeIfNeeded(void);
 void ChangeViewportPropertiesIfNeeded(void);
 
 boolean CheckIfAllViewportsHaveChanged(void);