void DrawLevel(int);
void DrawSizedLevel(int, int, int, int, int);
void DrawMiniLevel(int, int, int, int);
+void DrawPreviewPlayers(void);
void DrawPreviewLevelInitial(void);
void DrawPreviewLevelAnimation(void);
void ToggleFullscreenOrChangeWindowScalingIfNeeded(void);
void ChangeViewportPropertiesIfNeeded(void);
-boolean CheckIfPlayfieldViewportHasChanged(void);
-boolean CheckIfGlobalBorderOrPlayfieldViewportHasChanged(void);
+boolean CheckIfAllViewportsHaveChanged(void);
+boolean CheckFadeAll(void);
#endif // TOOLS_H