From 2e0c1daf1b407a77b2ec172ad47ea5b2ca68725b Mon Sep 17 00:00:00 2001
From: Tatsuya79 <jeanpascalmeunier@hotmail.com>
Date: Sat, 30 Nov 2019 19:06:59 +0100
Subject: [PATCH] fix dock titles getting cut off

---
 ui/drivers/qt/ui_qt_themes.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/ui/drivers/qt/ui_qt_themes.h b/ui/drivers/qt/ui_qt_themes.h
index c72531e39a..abd62a44f7 100644
--- a/ui/drivers/qt/ui_qt_themes.h
+++ b/ui/drivers/qt/ui_qt_themes.h
@@ -215,8 +215,12 @@ static const QString qt_theme_dark_stylesheet = QStringLiteral(R"(
    }
    QMainWindow::separator:hover, QSplitter::handle:hover {
    }
+   QDockWidget {
+      font-family:"Segoe UI";
+      font-size:9pt;
+   }
    QDockWidget::title {
-      padding:4px;
+      padding:3px 4px;
       background-color:qlineargradient(x1:0,y1:1,x2:0,y2:0,stop:0 rgba(25,25,25,175),stop:1 rgba(53,53,53,75));
       border:1px solid rgba(25,25,25,75);
       border-top:1px solid rgba(175,175,175,50%);