void DrawMaskedBorder_ALL();
void DrawMaskedBorder(int);
void DrawMaskedBorderToTarget(int);
+void DrawTileCursor(int);
void SetDrawtoField(int);
void RedrawPlayfield();
void DrawPreviewLevelInitial(void);
void DrawPreviewLevelAnimation(void);
+void DrawNetworkPlayers(void);
+void ClearNetworkPlayers(void);
+
void WaitForEventToContinue(void);
boolean Request(char *, unsigned int);
void InitGraphicCompatibilityInfo_Doors(void);
void SetFontStatus(int);
void ResetFontStatus();
+void SetLevelSetInfo(char *, int);
+
void ToggleFullscreenOrChangeWindowScalingIfNeeded();
void ChangeViewportPropertiesIfNeeded();