mirror of
https://github.com/subsurface/subsurface.git
synced 2024-11-28 13:10:19 +00:00
Carefully create some forced margins
We don't want to waste space, but we don't want things to be too crammed together, either. Especially not having horizontal margins for text can look very awkward. Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
This commit is contained in:
parent
aff1bac497
commit
87febd33be
2 changed files with 10 additions and 3 deletions
|
@ -155,6 +155,13 @@ MainTab::MainTab(QWidget *parent) : QTabWidget(parent),
|
|||
box->setStyleSheet(gnomeCss);
|
||||
}
|
||||
}
|
||||
// QLineEdit and QLabels should have minimal margin on the left and right but not waste vertical space
|
||||
QMargins margins(1, 0, 1, 0);
|
||||
ui.location->setContentsMargins(margins);
|
||||
ui.suit->setContentsMargins(margins);
|
||||
Q_FOREACH (QLabel *label, findChildren<QLabel *>()) {
|
||||
label->setContentsMargins(margins);
|
||||
}
|
||||
ui.cylinders->view()->horizontalHeader()->setContextMenuPolicy(Qt::ActionsContextMenu);
|
||||
|
||||
QSettings s;
|
||||
|
|
|
@ -43,13 +43,13 @@
|
|||
</property>
|
||||
<layout class="QGridLayout" name="gridLayout_2">
|
||||
<property name="leftMargin">
|
||||
<number>0</number>
|
||||
<number>2</number>
|
||||
</property>
|
||||
<property name="topMargin">
|
||||
<number>0</number>
|
||||
<number>1</number>
|
||||
</property>
|
||||
<property name="rightMargin">
|
||||
<number>0</number>
|
||||
<number>2</number>
|
||||
</property>
|
||||
<property name="bottomMargin">
|
||||
<number>0</number>
|
||||
|
|
Loading…
Reference in a new issue