void ResolveGroupElement(int);
void InitElementPropertiesStatic(void);
void InitElementPropertiesEngine(int);
-void InitElementPropertiesAfterLoading(int);
-void InitElementPropertiesGfxElement();
+void InitElementPropertiesGfxElement(void);
void ReloadCustomArtwork(int);
-void RedrawBackground();
+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);