changeset 7837 | 65d7362153a6 |
parent 7762 | 03721db0ac1c |
child 8259 | 127e5d73637d |
--- a/src/engine_gui.cpp Fri Jul 27 08:33:33 2007 +0000 +++ b/src/engine_gui.cpp Fri Jul 27 12:49:04 2007 +0000 @@ -104,7 +104,7 @@ } static const WindowDesc _engine_preview_desc = { - WDP_CENTER, WDP_CENTER, 300, 192, + WDP_CENTER, WDP_CENTER, 300, 192, 300, 192, WC_ENGINE_PREVIEW, WC_NONE, WDF_STD_TOOLTIPS | WDF_STD_BTN | WDF_DEF_WIDGET, _engine_preview_widgets,