settings_gui.c
changeset 2817 58dcead3f545
parent 2776 a562819bff12
child 2916 8f1aa489701f
--- a/settings_gui.c	Thu Jan 05 12:00:38 2006 +0000
+++ b/settings_gui.c	Thu Jan 05 12:40:50 2006 +0000
@@ -83,6 +83,9 @@
 	return false;
 }
 
+
+static void ShowCustCurrency(void);
+
 static void GameOptionsWndProc(Window *w, WindowEvent *e)
 {
 	switch (e->event) {
@@ -1506,7 +1509,7 @@
 	CustCurrencyWndProc,
 };
 
-void ShowCustCurrency(void)
+static void ShowCustCurrency(void)
 {
 	_str_separator[0] = _custom_currency.separator;
 	_str_separator[1] = '\0';