QTfrontend/mapContainer.cpp
changeset 1164 a241f6eb48be
parent 1066 1f1b3686a2b0
child 1209 7f6cb1d7be2a
equal deleted inserted replaced
1163:5186cf914549 1164:a241f6eb48be
    38                 QApplication::style()->pixelMetric(QStyle::PM_LayoutRightMargin),
    38                 QApplication::style()->pixelMetric(QStyle::PM_LayoutRightMargin),
    39                 QApplication::style()->pixelMetric(QStyle::PM_LayoutBottomMargin));
    39                 QApplication::style()->pixelMetric(QStyle::PM_LayoutBottomMargin));
    40 #endif
    40 #endif
    41   imageButt=new QPushButton(this);
    41   imageButt=new QPushButton(this);
    42   imageButt->setObjectName("imageButt");
    42   imageButt->setObjectName("imageButt");
    43   imageButt->setFixedSize(256, 128);
    43   imageButt->setFixedSize(256 + 8, 128 + 8);
    44   imageButt->setFlat(true);
    44   imageButt->setFlat(true);
    45   imageButt->setSizePolicy(QSizePolicy::Fixed, QSizePolicy::Fixed);//QSizePolicy::Minimum, QSizePolicy::Minimum);
    45   imageButt->setSizePolicy(QSizePolicy::Fixed, QSizePolicy::Fixed);//QSizePolicy::Minimum, QSizePolicy::Minimum);
    46   mainLayout.addWidget(imageButt);
    46   mainLayout.addWidget(imageButt);
    47   connect(imageButt, SIGNAL(clicked()), this, SLOT(setRandomSeed()));
    47   connect(imageButt, SIGNAL(clicked()), this, SLOT(setRandomSeed()));
    48   setRandomSeed();
    48   setRandomSeed();