char *getEditorSetupFilename(void);
char *getHelpAnimFilename(void);
char *getHelpTextFilename(void);
-char *getLevelSetInfoFilename(void);
+char *getLevelSetInfoFilename(int);
char *getLevelSetTitleMessageFilename(int, boolean);
char *getCreditsFilename(int, boolean);
char *getProgramInfoFilename(int);
char *getCustomArtworkConfigFilename(int);
char *getCustomArtworkLevelConfigFilename(int);
char *getCustomMusicDirectory(void);
+char *getCustomMusicDirectory_NoConf(void);
void MarkTapeDirectoryUploadsAsComplete(char *);
void MarkTapeDirectoryUploadsAsIncomplete(char *);
void UpdateLastPlayedLevels_TreeInfo(void);
void StoreLastPlayedLevels(TreeInfo *);
+void ForcedStoreLastPlayedLevels(TreeInfo *);
void RestoreLastPlayedLevels(TreeInfo **);
+boolean CheckLastPlayedLevels(void);
void LoadLevelSetup_LastSeries(void);
void SaveLevelSetup_LastSeries(void);