From 7db5f068bf66a9d0e99de6640d218c8acd4615aa Mon Sep 17 00:00:00 2001
From: marco <marco@5a81b35b-ba03-0410-adc8-b2c5c5119f08>
Date: Tue, 10 Aug 2010 07:09:00 +0000
Subject: [PATCH] make the splitter thinner on MacOS X

git-svn-id: https://dng.biozentrum.unibas.ch/svn/openstructure/trunk@2637 5a81b35b-ba03-0410-adc8-b2c5c5119f08
---
 modules/gui/src/thin_splitter.cc | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/modules/gui/src/thin_splitter.cc b/modules/gui/src/thin_splitter.cc
index 78051b1f9..94455343f 100644
--- a/modules/gui/src/thin_splitter.cc
+++ b/modules/gui/src/thin_splitter.cc
@@ -47,9 +47,17 @@ public:
   virtual void resizeEvent(QResizeEvent *event)
   {
     if (this->orientation()==Qt::Horizontal) {
+#if defined(__APPLE__)
+      this->setContentsMargins(1, 0, 0, 0);
+#else
       this->setContentsMargins(1, 0, 1, 0);
+#endif
     } else {
+#if defined(__APPLE__)
+      this->setContentsMargins(0, 1, 0, 0);
+#else                          
       this->setContentsMargins(0, 1, 0, 1);
+#endif
     }
     this->setMask(QRegion());
   }
@@ -58,8 +66,8 @@ public:
   {
     QPainter p(this);
     QPalette palette=qApp->palette();
-    p.setBrush(QBrush(palette.color(QPalette::Active, QPalette::Shadow)));
-    p.setPen(Qt::black);
+    p.setBrush(QBrush(QColor(120,120,120)));
+    p.setPen(QColor(120,120,120));
     p.drawRect(this->contentsRect());
   }
 };
-- 
GitLab