Is there only one `TextStyle` in `JewelTheme` right now? There are clearly multiple text styles used...

# jewel

[Pavel S]

Is there only one TextStyle in JewelTheme right now? There are clearly multiple text styles used in Intellij

[Pavel S]

Like here

[seb]

There is only one "default" style. The other styles are derived from that one (e.g., JBFont.small()). Right now there is no API for that, but it's only a matter of using a smaller font size and/or a different color.

[seb]

Hi @Pavel S, Jewel 0.13.2 will be available shortly (pending a CI run) with the new APIs for text styles https://github.com/JetBrains/jewel/releases/tag/v0.13.2

[seb]

https://github.com/JetBrains/jewel/actions/runs/7526187057 said CI run

[seb]

I just added a small note to the release notes

[seb]

Aaand released 🙂