From d105b20c7e0e6f1ddf6c449fe1b1e9abbd2bf80f Mon Sep 17 00:00:00 2001
From: Henning Gruendl <henning.gruendl@qt.io>
Date: Tue, 21 Feb 2023 11:22:27 +0100
Subject: [PATCH] QmlDesigner: Add pixel metric tool bar extension

Change-Id: I65f0ce65113f9d8b4af0ea95a914e2fd4fc2bb07
Reviewed-by: Alessandro Portale <alessandro.portale@qt.io>
---
 src/plugins/coreplugin/manhattanstyle.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/plugins/coreplugin/manhattanstyle.cpp b/src/plugins/coreplugin/manhattanstyle.cpp
index 115e3fd35ed..b8ce1a9902b 100644
--- a/src/plugins/coreplugin/manhattanstyle.cpp
+++ b/src/plugins/coreplugin/manhattanstyle.cpp
@@ -592,6 +592,10 @@ int ManhattanStyle::pixelMetric(PixelMetric metric, const QStyleOption *option,
         if (qobject_cast<const QLineEdit*>(widget) && panelWidget(widget))
             return 1;
         break;
+    case PM_ToolBarExtensionExtent:
+        if (StyleHelper::isQDSTheme())
+            retval = 29;
+        break;
     default:
         break;
     }