I would like to have the ability to increase or decrease the font size beyond the 4 options now. I think that the current “Normal” size is too big and the “small” size is too small. I would prefer the ability to scale text by font size.
You can do this with custom themes using GraphQL. I have a theme that makes non-colored syntax smaller, so there must be a way. But I don’t know how to yet.
2 Likes
Hey @JackSchumacher, welcome to the forums!
I like your idea of having a custom small size, as @LuisAFK you can custom themes with GraphQL, but it’s not an easy task, I’m sure that this is something on the themes roadmap, can you confirm @bardia?
1 Like