--- a/QTfrontend/mapContainer.cpp	Wed Dec 19 11:10:23 2007 +0000
+++ b/QTfrontend/mapContainer.cpp	Wed Dec 19 20:54:00 2007 +0000
@@ -34,7 +34,10 @@
   QWidget(parent), mainLayout(this)
 {
 #if QT_VERSION >= 0x040300
-  mainLayout.setContentsMargins (0, 1, 0, QApplication::style()->pixelMetric(QStyle::PM_LayoutBottomMargin));
+  mainLayout.setContentsMargins(QApplication::style()->pixelMetric(QStyle::PM_LayoutLeftMargin),
+                1,
+                QApplication::style()->pixelMetric(QStyle::PM_LayoutRightMargin),
+                QApplication::style()->pixelMetric(QStyle::PM_LayoutBottomMargin));
 #endif
   imageButt=new QPushButton(this);
   imageButt->setObjectName("imageButt");