void DrawMainMenu(void);
void DrawHallOfFame(int);
void DrawScreenAfterAddingSet(char *, int);
+void DrawInfoScreen_FromMainMenu(int);
void RedrawSetupScreenAfterFullscreenToggle(void);
void RedrawSetupScreenAfterScreenRotation(int);
void HandleSetupScreen(int, int, int, int, int);
void HandleTypeName(Key);
void HandleGameActions(void);
+void HandleScreenGadgetKeys(Key);
void CreateScreenGadgets(void);
void FreeScreenGadgets(void);