changeset 7837 | 65d7362153a6 |
parent 7762 | 03721db0ac1c |
child 6871 | 5a9dc001e1ad |
child 9723 | eee46cb39750 |
--- a/src/intro_gui.cpp Fri Jul 27 08:33:33 2007 +0000 +++ b/src/intro_gui.cpp Fri Jul 27 12:49:04 2007 +0000 @@ -99,7 +99,7 @@ } static const WindowDesc _select_game_desc = { - WDP_CENTER, WDP_CENTER, 336, 195, + WDP_CENTER, WDP_CENTER, 336, 195, 336, 195, WC_SELECT_GAME, WC_NONE, WDF_STD_TOOLTIPS | WDF_DEF_WIDGET | WDF_UNCLICK_BUTTONS, _select_game_widgets,