ui
0.15.1
jvm
ui
/
org.jetbrains.jewel.ui.component.styling
/
GroupHeaderStyle
/
metrics
metrics
val
metrics
:
GroupHeaderMetrics