#include "main.h"
+void InitElementPropertiesStatic(void);
+void InitElementPropertiesEngine(int);
+
+void ReloadCustomArtwork(void);
+
+void KeyboardAutoRepeatOffUnlessAutoplay();
+
void OpenAll(void);
-void ReloadCustomArtwork();
void CloseAllAndExit(int);
#endif