ui
0.8.1
jvm
ui
/
org.jetbrains.jewel.ui.component.styling
/
GroupHeaderMetrics
/
GroupHeaderMetrics
Group
Header
Metrics
constructor
(
dividerThickness
:
Dp
,
indent
:
Dp
)