src/gui.h
changeset 9871 57a332d08e74
parent 9588 620c97d8cee4
--- a/src/gui.h	Fri Aug 08 02:28:28 2008 +0000
+++ b/src/gui.h	Fri Aug 08 03:37:00 2008 +0000
@@ -23,7 +23,7 @@
 void ShowGameOptions();
 void ShowGameDifficulty();
 void ShowPatchesSelection();
-void DrawArrowButtons(int x, int y, int ctab, byte state, bool clickable_left, bool clickable_right);
+void DrawArrowButtons(int x, int y, Colours button_colour, byte state, bool clickable_left, bool clickable_right);
 
 /* graph_gui.cpp */
 void ShowOperatingProfitGraph();