From cedd1040093daf9d6ee04bc7abfe416716516fef Mon Sep 17 00:00:00 2001
From: Thomas Hartmann <thomas.hartmann@qt.io>
Date: Mon, 16 Apr 2018 12:40:18 +0200
Subject: [PATCH] QmlDesigner: Slightly increase font size on high DPI displays

Change-Id: I8ed2bd45217aa5ff41768048f5fa6627a5895f4f
Reviewed-by: Tim Jenssen <tim.jenssen@qt.io>
Reviewed-by: Brook Cronin <brook.cronin@qt.io>
---
 src/plugins/qmldesigner/components/componentcore/theme.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/qmldesigner/components/componentcore/theme.cpp b/src/plugins/qmldesigner/components/componentcore/theme.cpp
index 4af35250ed0..586419910eb 100644
--- a/src/plugins/qmldesigner/components/componentcore/theme.cpp
+++ b/src/plugins/qmldesigner/components/componentcore/theme.cpp
@@ -108,7 +108,7 @@ QColor Theme::getColor(Theme::Color role)
 int Theme::smallFontPixelSize() const
 {
     if (highPixelDensity())
-        return 12;
+        return 13;
     return 9;
 }