I can set badge color follow docmentation, how about font and font size?
Thanks!
You cannot right now, the badge uses the same font as the terminal text and it's sizing is automatically determined by doubling the font size of the current terminal font. I don't disagree that it would be nice to make this configurable and I would be happy to accept a PR that adds the capability.
I also think this should not be a part of themes but rather a separate setting similar to the way the terminal font is handled.
I've added a setting for the font to the Badge configuration page in profiles.
Forgot that I add some code in place that auto-sized the badge, this has been removed in favor of this full customization.
Can't wait to get the new release!
Most helpful comment
Forgot that I add some code in place that auto-sized the badge, this has been removed in favor of this full customization.