diff -r 434e28245dc0 -r 1e51e80c383c QTfrontend/ui_hwform.cpp --- a/QTfrontend/ui_hwform.cpp Mon Jan 12 14:43:56 2009 +0000 +++ b/QTfrontend/ui_hwform.cpp Mon Jan 12 14:50:22 2009 +0000 @@ -33,7 +33,7 @@ HWForm->setObjectName(QString::fromUtf8("HWForm")); HWForm->resize(QSize(640, 480).expandedTo(HWForm->minimumSizeHint())); - HWForm->setMinimumSize(QSize(720, 430)); + HWForm->setMinimumSize(QSize(720, 450)); HWForm->setWindowTitle(QMainWindow::tr("Hedgewars %1").arg(*cVersionString)); centralWidget = new QWidget(HWForm); centralWidget->setObjectName(QString::fromUtf8("centralWidget"));