this post was submitted on 07 Aug 2023
29 points (100.0% liked)
Programming
13371 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 1 year 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)