font.scale: num
= 1.0Make all text larger or smaller. The size of every font is multiplied by
this factor, so a value of 1.2 makes all text
20% larger, whatever font it uses. This is the simplest way to adapt the
user interface to the resolution of your screen and your eyes. Use font.system_fonts
to change the size of specific kinds of text.
For example, to make all text 25% larger, add this line to your
Defaults file:
font.scale: 1.25
The scale also applies to fonts that are not named by an alias. After
changing it at runtime, send display_manager ->fonts_changed
to apply it to the existing fonts and windows. The preferences editor (Settings/Edit
GUI preferences in the IDE) does this for you.
