how do I increase size of editor gui font? #312
Unanswered
ErikOwsiak
asked this question in
Pulsar Support
Replies: 1 comment
-
If you're using the default theme (One Dark/One Light), it allows you to increase GUI font size in its settings. Go to Settings -> Themes, then click on the gear icon button next to the dropdown. Look for the “font size” setting. If you use a different UI theme that doesn't expose a setting, it's a bit trickier and might have to be done in more piecemeal fashion using style overrides. I have this on my list of things to fix (gradual evolution of themes toward CSS variables so that users can change the base font-size in a one-liner in their user stylesheet). |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
anybody?
Beta Was this translation helpful? Give feedback.
All reactions