diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2014-12-23 10:16:11 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2014-12-23 10:16:11 -0800 |
| commit | 87febd33be364c3cf6ce9455c383ba4e9f974fd9 (patch) | |
| tree | fea91d835d9ad5c6cd29b754acc359a697e21092 /qt-ui/maintab.ui | |
| parent | aff1bac497f1e84c3a173c7a227a1735a28f943a (diff) | |
| download | subsurface-87febd33be364c3cf6ce9455c383ba4e9f974fd9.tar.gz | |
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>
Diffstat (limited to 'qt-ui/maintab.ui')
| -rw-r--r-- | qt-ui/maintab.ui | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/qt-ui/maintab.ui b/qt-ui/maintab.ui index 47adbf73c..3450224ac 100644 --- a/qt-ui/maintab.ui +++ b/qt-ui/maintab.ui @@ -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> |