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';