diff options
author | Henning Gruendl <henning.gruendl@qt.io> | 2023-02-21 11:22:27 +0100 |
---|---|---|
committer | Tim Jenssen <tim.jenssen@qt.io> | 2023-02-21 16:29:35 +0000 |
commit | 38aa0e3a2cca3191688538c7389ec3de1b20eae3 (patch) | |
tree | e5e4e6a3b7013b6b26e02134ec8b81501859254e | |
parent | 483b335293ed92249191a9cb7bd231722896b4c3 (diff) | |
download | qt-creator-38aa0e3a2cca3191688538c7389ec3de1b20eae3.tar.gz |
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>
-rw-r--r-- | src/plugins/coreplugin/manhattanstyle.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/plugins/coreplugin/manhattanstyle.cpp b/src/plugins/coreplugin/manhattanstyle.cpp index 02efed8704..f55a1bf9b8 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; } |