diff -r 5cf90dbcb309 -r 8187912107ac QTfrontend/mapContainer.cpp
--- a/QTfrontend/mapContainer.cpp	Mon Dec 17 19:14:42 2007 +0000
+++ b/QTfrontend/mapContainer.cpp	Wed Dec 19 07:37:17 2007 +0000
@@ -33,7 +33,9 @@
 HWMapContainer::HWMapContainer(QWidget * parent) :
   QWidget(parent), mainLayout(this)
 {
+#if QT_VERSION >= 0x040300
   mainLayout.setContentsMargins (0, 1, 0, QApplication::style()->pixelMetric(QStyle::PM_LayoutBottomMargin));
+#endif
   imageButt=new QPushButton(this);
   imageButt->setObjectName("imageButt");
   imageButt->setFixedSize(256, 128);