From 454e7255871750c796e48467bd969532622b7822 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20T=C5=AFma?= Date: Wed, 7 Oct 2020 00:23:24 +0200 Subject: [PATCH] Layout polishing --- src/GUI/marginswidget.cpp | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/src/GUI/marginswidget.cpp b/src/GUI/marginswidget.cpp index ad200ddb..05806399 100644 --- a/src/GUI/marginswidget.cpp +++ b/src/GUI/marginswidget.cpp @@ -10,12 +10,20 @@ MarginsWidget::MarginsWidget(QWidget *parent) : QWidget(parent) _left = new QSpinBox(); _right = new QSpinBox(); +#ifdef Q_OS_WIN32 + _top->setMaximumWidth(_top->sizeHint().width()); + _bottom->setMaximumWidth(_bottom->sizeHint().width()); + _left->setMaximumWidth(_left->sizeHint().width()); + _right->setMaximumWidth(_right->sizeHint().width()); +#endif // W_OS_WIN32 + QGridLayout *layout = new QGridLayout(); layout->addWidget(_top, 0, 0, 1, 2, Qt::AlignCenter); layout->addWidget(_left, 1, 0, 1, 1, Qt::AlignRight); layout->addWidget(_right, 1, 1, 1, 1, Qt::AlignLeft); layout->addWidget(_bottom, 2, 0, 1, 2, Qt::AlignCenter); + setSizePolicy(QSizePolicy::Fixed, QSizePolicy::Fixed); setLayout(layout); } @@ -49,12 +57,20 @@ MarginsFWidget::MarginsFWidget(QWidget *parent) : QWidget(parent) _left = new QDoubleSpinBox(); _right = new QDoubleSpinBox(); +#ifdef Q_OS_WIN32 + _top->setMaximumWidth(_top->sizeHint().width()); + _bottom->setMaximumWidth(_bottom->sizeHint().width()); + _left->setMaximumWidth(_left->sizeHint().width()); + _right->setMaximumWidth(_right->sizeHint().width()); +#endif // Q_OS_WIN32 + QGridLayout *layout = new QGridLayout(); layout->addWidget(_top, 0, 0, 1, 2, Qt::AlignCenter); layout->addWidget(_left, 1, 0, 1, 1, Qt::AlignRight); layout->addWidget(_right, 1, 1, 1, 1, Qt::AlignLeft); layout->addWidget(_bottom, 2, 0, 1, 2, Qt::AlignCenter); + setSizePolicy(QSizePolicy::Fixed, QSizePolicy::Fixed); setLayout(layout); }