void InitElementPropertiesGfxElement();
void ReloadCustomArtwork(int);
-void RedrawBackground();
+void RedrawGlobalBorder();
void KeyboardAutoRepeatOffUnlessAutoplay();
void InitGfxBuffers();
void InitGadgets();
+void InitImageTextures();
void DisplayExitMessage(char *, va_list);