void BackToFront();
void FadeToFront();
void ClearWindow();
+
+#if 0
int getFontWidth(int, int);
int getFontHeight(int, int);
void DrawInitText(char *, int, int);
void DrawTextFCentered(int, int, char *, ...);
void DrawText(int, int, char *, int, int);
void DrawTextExt(DrawBuffer, GC, int, int, char *, int, int);
+#endif
+
+void MarkTileDirty(int, int);
+void SetBorderElement();
+
void DrawAllPlayers(void);
void DrawPlayerField(int, int);
void DrawPlayer(struct PlayerInfo *);
void DrawGraphicAnimationThruMask(int, int, int, int, int, int);
void getGraphicSource(int, int *, int *, int *);
void DrawGraphic(int, int, int);
-void DrawGraphicExt(DrawBuffer, GC, int, int, int);
+void DrawGraphicExt(DrawBuffer, int, int, int);
void DrawGraphicThruMask(int, int, int);
void DrawGraphicThruMaskExt(DrawBuffer, int, int, int);
void DrawMiniGraphic(int, int, int);
void getMiniGraphicSource(int, Bitmap *, int *, int *);
-void DrawMiniGraphicExt(DrawBuffer, GC, int, int, int);
+void DrawMiniGraphicExt(DrawBuffer, int, int, int);
void DrawGraphicShifted(int, int, int, int, int, int, int);
void DrawGraphicShiftedThruMask(int, int, int, int, int, int);
void DrawScreenElementExt(int, int, int, int, int, int, int);
int el2gfx(int);
-#endif
+#endif /* TOOLS_H */