added clearing network players from main menu screen if server disconnects

[rocksndiamonds.git] / src / tools.h

diff --git a/src/tools.h b/src/tools.h
index 61541f370287d7bf5ebb9f4a85706aa055642e99..a5e348a698888c0c22a9de1cf213cf5d9a57d67b 100644 (file)
--- a/src/tools.h
+++ b/src/tools.h
@@ -198,6 +198,7 @@ void DrawPreviewLevelInitial(void);
 void DrawPreviewLevelAnimation(void);
 
 void DrawNetworkPlayers(void);
+void ClearNetworkPlayers(void);
 
 void WaitForEventToContinue(void);
 boolean Request(char *, unsigned int);