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