From e124afabbf2c6cf4bec24a944ae96a77468807ac Mon Sep 17 00:00:00 2001
From: Cyrille Bollu <cyrille.bollu2@gmail.com>
Date: Fri, 13 May 2016 14:04:50 +0200
Subject: [PATCH] Added a darker background to the TabWidget's tab bar.

---
 src/gui/widgets/TabWidget.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gui/widgets/TabWidget.cpp b/src/gui/widgets/TabWidget.cpp
index 4f726ea95..ae9a35997 100644
--- a/src/gui/widgets/TabWidget.cpp
+++ b/src/gui/widgets/TabWidget.cpp
@@ -224,7 +224,7 @@ void TabWidget::paintEvent( QPaintEvent * pe )
 	p.setPen( QColor( 0, 0, 0 ) );
 	p.drawRect( 1, 1, width() - 3, height() - 3 );
 
-	p.drawLine( 2, m_tabheight + 2, width() - 3, m_tabheight + 2);
+	p.fillRect( 2, 0, width() - 3, m_tabheight + 2, bg_color.color().darker( 150 ) );
 
 	if( ! m_caption.isEmpty() )
 	{