void MarkTileDirty(int, int);
void SetBorderElement();
+void SetRandomAnimationValue(int, int);
int getGraphicAnimationFrame(int, int);
void DrawGraphicAnimationExt(DrawBuffer *, int, int, int, int, int);
-boolean DrawGraphicAnimation(int, int, int);
-boolean DrawLevelGraphicAnimation(int, int, int);
-boolean DrawLevelElementAnimation(int, int, int);
+void DrawGraphicAnimation(int, int, int);
+void DrawLevelGraphicAnimation(int, int, int);
+void DrawLevelElementAnimation(int, int, int);
+void DrawLevelGraphicAnimationIfNeeded(int, int, int);
+void DrawLevelElementAnimationIfNeeded(int, int, int);
void DrawAllPlayers(void);
void DrawPlayerField(int, int);
void FreeToolButtons();
int get_next_element(int);
-int el2gfx(int);
-int el2img(int);
+int el_act_dir2img(int, int, int);
+int el_act2img(int, int);
int el_dir2img(int, int);
-int el_dir_act2img(int, int, int);
+int el2img(int);
+int el2edimg(int);
+int el2preimg(int);
#endif /* TOOLS_H */