# HG changeset patch
# User Chris Cannam
# Date 1481819367 0
# Node ID 51bb2582c2ccb2f244f9978601c1d9bd962df58c
# Parent  be5e43e2180c560e104d72c929cf2cde755e2115
Adjust spacing in property box

diff -r be5e43e2180c -r 51bb2582c2cc widgets/PropertyBox.cpp
--- a/widgets/PropertyBox.cpp	Thu Dec 15 16:29:18 2016 +0000
+++ b/widgets/PropertyBox.cpp	Thu Dec 15 16:29:27 2016 +0000
@@ -282,7 +282,14 @@
             QWidget *frame = new QWidget(m_mainWidget);
             frame->setMinimumSize(WidgetScale::scaleQSize(QSize(1, 24)));
             m_groupLayouts[groupName] = new QGridLayout;
-            m_groupLayouts[groupName]->setMargin(0);
+#ifdef Q_OS_MAC
+            // Seems to be plenty of whitespace already
+            m_groupLayouts[groupName]->setContentsMargins(0, 0, 0, 0);
+#else
+            // Need a bit of padding on the left
+            m_groupLayouts[groupName]->setContentsMargins
+                (WidgetScale::scalePixelSize(10), 0, 0, 0);
+#endif
             frame->setLayout(m_groupLayouts[groupName]);
             m_layout->addWidget(frame, row, 1, 1, 2);
             m_layout->setColumnStretch(1, 10);