Jenga
Toggle table of contents
0.8.7-SNAPSHOT
common
Target filter
common
Switch theme
Search in API
Skip to content
Jenga
Jenga
/
io.github.joelkanyi.jenga.component.progress
/
JengaDotStripDefaults
/
DotSize
Dot
Size
val
DotSize
:
Dp
(
source
)
Dot diameter in the
JengaDotStripStyle.Dots
style.