void CreateToolButtons(void);
void FreeToolButtons(void);
-int map_element_RND_to_BD(int);
-int map_element_BD_to_RND(int);
+int getEngineElement(int);
+int getDrawingElement(int);
+
+int map_element_RND_to_BD_cave(int);
+int map_element_RND_to_BD_effect(int, int);
+int map_element_BD_to_RND_cave(int);
+int map_element_BD_to_RND_game(int);
int map_element_RND_to_EM_cave(int);
int map_element_EM_to_RND_cave(int);
void SetLevelSetInfo(char *, int);
+void ToggleAudioSampleRateIfNeeded(void);
void ToggleFullscreenIfNeeded(void);
void ChangeWindowScalingIfNeeded(void);
void ChangeVsyncModeIfNeeded(void);
void OpenURL(char *);
void OpenURLFromHash(SetupFileHash *, int);
+char *getCurrentLevelsetName(void);
+
void TestGeneratingUUIDs(void);
#endif // TOOLS_H