From 38aa0e3a2cca3191688538c7389ec3de1b20eae3 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>
(cherry picked from commit d105b20c7e0e6f1ddf6c449fe1b1e9abbd2bf80f)
Reviewed-by: Tim Jenssen <tim.jenssen@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 02efed87042..f55a1bf9b89 100644
--- a/src/plugins/coreplugin/manhattanstyle.cpp
+++ b/src/plugins/coreplugin/manhattanstyle.cpp
@@ -587,6 +587,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;
     }