Home / GitHub Page

How can I modify font-size?


#1

I can not modify the font size.I want to modify font size to 28px. How can I do it ? thank you.


#2

did you try to change the font size of your OS just to see ?


#3

There’s an option to zoom the font, which might do what you’re looking for.


#4

sorry,I can not find the option. where is it?


#5


#6

Thank you very much ! ! !


#8

Nice, this also allowed me to change the font face.

You need to restart the app after changing the settings (at least on Linux).
Be careful though, increasing the zoom percentage will mess up with the UI at high levels. There is also no clamping so if you input a crazy value you will make the app unusable and it will be hard to go back to the options to fix it (but feasible).