forked from qt-creator/qt-creator
QmlDesigner: Add pixel metric tool bar extension
Change-Id: I65f0ce65113f9d8b4af0ea95a914e2fd4fc2bb07 Reviewed-by: Alessandro Portale <alessandro.portale@qt.io>
This commit is contained in:
committed by
Henning Gründl
parent
e876f79807
commit
d105b20c7e
@@ -592,6 +592,10 @@ int ManhattanStyle::pixelMetric(PixelMetric metric, const QStyleOption *option,
|
|||||||
if (qobject_cast<const QLineEdit*>(widget) && panelWidget(widget))
|
if (qobject_cast<const QLineEdit*>(widget) && panelWidget(widget))
|
||||||
return 1;
|
return 1;
|
||||||
break;
|
break;
|
||||||
|
case PM_ToolBarExtensionExtent:
|
||||||
|
if (StyleHelper::isQDSTheme())
|
||||||
|
retval = 29;
|
||||||
|
break;
|
||||||
default:
|
default:
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user