this post was submitted on 07 Aug 2023
29 points (100.0% liked)
Programming
13384 readers
1 users here now
All things programming and coding related. Subcommunity of Technology.
This community's icon was made by Aaron Schneider, under the CC-BY-NC-SA 4.0 license.
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Whitespace width? You mean kerning?
You could make those styles into objects. So you have something like:
TextFormat.strikethrough.withWidth(1.dp)
ParagraphFormat.lineheight.double()
Or
TextDecoration.underline.solid.withWidth(1.dp).and.padding(top: 0.5dp)