added support for special media buttons on Amazon Fire TV remote control
[rocksndiamonds.git] / src / files.h
index 3041cc836b1d54045950e12a2b1ac1346c2ef9db..46dcae9c9aa4f588c59c0e8cf11b3ff65129489b 100644 (file)
@@ -30,6 +30,8 @@ void setElementChangeInfoToDefaults(struct ElementChangeInfo *);
 void copyElementInfo(struct ElementInfo *, struct ElementInfo *);
 
 char *getDefaultLevelFilename(int);
+char *getLocalLevelTemplateFilename();
+char *getGlobalLevelTemplateFilename();
 
 void LoadLevelFromFilename(struct LevelInfo *, char *);
 void LoadLevel(int);
@@ -54,6 +56,7 @@ boolean SaveTapeChecked(int);
 void LoadScore(int);
 void SaveScore(int);
 
+void LoadSetupFromFilename(char *);
 void LoadSetup();
 void SaveSetup();
 
@@ -63,6 +66,7 @@ void SaveSetup_EditorCascade();
 void LoadCustomElementDescriptions();
 void InitMenuDesignSettings_Static();
 void LoadMenuDesignSettings();
+void LoadMenuDesignSettings_AfterGraphics();
 void LoadUserDefinedEditorElementList(int **, int *);
 void LoadMusicInfo();
 void LoadHelpAnimInfo();