added frame counter to playfield debugging output

diff --git a/src/tools.c b/src/tools.c
index 9b903d35b337b8e02959b367424a48a4e0c2951b..84e79b3a3c5088834a09a6e741b3b5553053c737 100644 (file)
--- a/src/tools.c
+++ b/src/tools.c
@@ -227,7 +227,7 @@ void DumpTile(int x, int y)
   printf("  CustomValue: %d\n", CustomValue[x][y]);
   printf("  GfxElement:  %d\n", GfxElement[x][y]);
   printf("  GfxAction:   %d\n", GfxAction[x][y]);
-  printf("  GfxFrame:    %d\n", GfxFrame[x][y]);
+  printf("  GfxFrame:    %d [%d]\n", GfxFrame[x][y], FrameCounter);
   printf("\n");
 }