fixed exiting players with custom elements when playing multi-player games

[rocksndiamonds.git] / src / tools.h

diff --git a/src/tools.h b/src/tools.h
index 37c67dd47878c1e2eb1a8a7548202788d1c2b403..a5e348a698888c0c22a9de1cf213cf5d9a57d67b 100644 (file)
--- a/src/tools.h
+++ b/src/tools.h
@@ -82,6 +82,7 @@ void DrawMaskedBorder_DOOR_3();
 void DrawMaskedBorder_ALL();
 void DrawMaskedBorder(int);
 void DrawMaskedBorderToTarget(int);
+void DrawTileCursor(int);
 
 void SetDrawtoField(int);
 void RedrawPlayfield();
@@ -196,6 +197,9 @@ void DrawMiniLevel(int, int, int, int);
 void DrawPreviewLevelInitial(void);
 void DrawPreviewLevelAnimation(void);
 
+void DrawNetworkPlayers(void);
+void ClearNetworkPlayers(void);
+
 void WaitForEventToContinue(void);
 boolean Request(char *, unsigned int);
 void InitGraphicCompatibilityInfo_Doors(void);