fixed bug with not fading menu music on title screen when changing level set

[rocksndiamonds.git] / src / init.h

diff --git a/src/init.h b/src/init.h
index 9c6185f7bdda42b5239fd2490336fdf95384a876..849f7a1ad24af204d530d422bd1611a0c5fa8480 100644 (file)
--- a/src/init.h
+++ b/src/init.h
@@ -33,16 +33,18 @@ boolean getBitfieldProperty(int *, int, int);
 void ResolveGroupElement(int);
 void InitElementPropertiesStatic(void);
 void InitElementPropertiesEngine(int);
-void InitElementPropertiesAfterLoading(int);
-void InitElementPropertiesGfxElement();
+void InitElementPropertiesGfxElement(void);
 
 void ReloadCustomArtwork(int);
-void RedrawGlobalBorder();
+void RedrawGlobalBorder(void);
 
-void KeyboardAutoRepeatOffUnlessAutoplay();
+void KeyboardAutoRepeatOffUnlessAutoplay(void);
 
-void InitGfxBuffers();
-void InitGadgets();
+void InitGfxBuffers(void);
+void InitGadgets(void);
+void InitImageTextures(void);
+
+void InitNetworkServer(void);
 
 void DisplayExitMessage(char *, va_list);