fixed bug with using wrong draw buffer after request if game has ended
[rocksndiamonds.git] / src / tools.h
index 2743d41d460281f54ea71b86878983f10a2a1561..de7bb467b567934821e134e1f25b8f45d0ecca38 100644 (file)
@@ -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,8 @@ void ResetFontStatus(void);
 
 void SetLevelSetInfo(char *, int);
 
-void ToggleFullscreenOrChangeWindowScalingIfNeeded(void);
+void ToggleFullscreenIfNeeded(void);
+void ChangeWindowScalingIfNeeded(void);
 void ChangeVsyncModeIfNeeded(void);
 void ChangeViewportPropertiesIfNeeded(void);