# HG changeset patch
# User unc0rr
# Date 1197914758 0
# Node ID 9d0bcc3c903abdbaf52eb6b9459663d60063d798
# Parent  2aa3082937ac07f12205b0be600cdd7fc871e6ab
Save some vertical pixels using fewer margin in HWMapContainer

diff -r 2aa3082937ac -r 9d0bcc3c903a QTfrontend/gamecfgwidget.cpp
--- a/QTfrontend/gamecfgwidget.cpp	Sun Dec 16 19:34:13 2007 +0000
+++ b/QTfrontend/gamecfgwidget.cpp	Mon Dec 17 18:05:58 2007 +0000
@@ -37,9 +37,9 @@
 	QHBoxLayout *GBoxMapLayout = new QHBoxLayout(GBoxMap);
 	GBoxMapLayout->setMargin(0);
 	pMapContainer = new HWMapContainer(GBoxMap);
-	GBoxMapLayout->addWidget(new QWidget);
+	GBoxMapLayout->addStretch();
 	GBoxMapLayout->addWidget(pMapContainer);
-	GBoxMapLayout->addWidget(new QWidget);
+	GBoxMapLayout->addStretch();
 
 	QGroupBox *GBoxOptions = new QGroupBox(this);
 	GBoxOptions->setTitle(QGroupBox::tr("Game scheme"));
diff -r 2aa3082937ac -r 9d0bcc3c903a QTfrontend/mapContainer.cpp
--- a/QTfrontend/mapContainer.cpp	Sun Dec 16 19:34:13 2007 +0000
+++ b/QTfrontend/mapContainer.cpp	Mon Dec 17 18:05:58 2007 +0000
@@ -26,12 +26,14 @@
 #include <QLinearGradient>
 #include <QColor>
 #include <QTextStream>
+#include <QApplication>
 
 #include "hwconsts.h"
 
 HWMapContainer::HWMapContainer(QWidget * parent) :
   QWidget(parent), mainLayout(this)
 {
+  mainLayout.setContentsMargins (0, 1, 0, QApplication::style()->pixelMetric(QStyle::PM_LayoutBottomMargin));
   imageButt=new QPushButton(this);
   imageButt->setObjectName("imageButt");
   imageButt->setFixedSize(256, 128);