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

@@ -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());
   }
 };