void CreateToolButtons(void);
void FreeToolButtons(void);
+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 el2baseimg(int);
int el2img(int);
int el2edimg(int);
+int el2edimg_with_frame(int, int *, int *);
int el2preimg(int);
int el2panelimg(int);
int font2baseimg(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