+void DrawSpecialEditorDoor(void);
+void UndrawSpecialEditorDoor(void);
+
+void CreateToolButtons(void);
+void FreeToolButtons(void);
+
+int map_element_RND_to_EM_cave(int);
+int map_element_EM_to_RND_cave(int);
+int map_element_EM_to_RND_game(int);
+int map_direction_RND_to_EM(int);
+int map_direction_EM_to_RND(int);
+
+void map_android_clone_elements_RND_to_EM(struct LevelInfo *);
+void map_android_clone_elements_EM_to_RND(struct LevelInfo *);
+
+int map_element_RND_to_SP(int);
+int map_element_SP_to_RND(int);
+int map_action_SP_to_RND(int);
+
+int map_element_RND_to_MM(int);
+int map_element_MM_to_RND(int);
+int map_action_MM_to_RND(int);
+int map_sound_MM_to_RND(int);
+int map_mm_wall_element(int);
+int map_mm_wall_element_editor(int);
+
+int get_next_element(int);
+int el_act_dir2img(int, int, int);
+int el_act2img(int, int);
+int el_dir2img(int, int);
+int el2baseimg(int);
+int el2img(int);
+int el2edimg(int);
+int el2preimg(int);
+int el2panelimg(int);
+int font2baseimg(int);
+
+int getBeltNrFromBeltElement(int);
+int getBeltNrFromBeltActiveElement(int);
+int getBeltNrFromBeltSwitchElement(int);
+int getBeltDirNrFromBeltElement(int);
+int getBeltDirNrFromBeltSwitchElement(int);
+int getBeltDirFromBeltElement(int);
+int getBeltDirFromBeltSwitchElement(int);
+int getBeltElementFromBeltNrAndBeltDirNr(int, int);
+int getBeltElementFromBeltNrAndBeltDir(int, int);
+int getBeltSwitchElementFromBeltNrAndBeltDirNr(int, int);
+int getBeltSwitchElementFromBeltNrAndBeltDir(int, int);
+
+unsigned int InitRND(int);
+void InitGraphicInfo_EM(void);
+
+void PlayMenuSoundExt(int);
+void PlayMenuSound(void);
+void PlayMenuSoundStereo(int, int);
+void PlayMenuSoundIfLoopExt(int);
+void PlayMenuSoundIfLoop(void);
+void PlayMenuMusicExt(int);
+void PlayMenuMusic(void);
+void PlayMenuSoundsAndMusic(void);
+void FadeMenuSoundsAndMusic(void);
+void PlaySoundActivating(void);
+void PlaySoundSelecting(void);
+
+void SetAnimStatus(int);
+void SetGameStatus(int);
+void SetFontStatus(int);
+void ResetFontStatus(void);
+
+void SetLevelSetInfo(char *, int);
+
+void ToggleFullscreenIfNeeded(void);
+void ChangeWindowScalingIfNeeded(void);
+void ChangeVsyncModeIfNeeded(void);
+void ChangeViewportPropertiesIfNeeded(void);
+
+boolean CheckIfAllViewportsHaveChanged(void);
+boolean CheckFadeAll(void);
+
+#endif // TOOLS_H