Changing the default font to DejaVu Sans Mono, which is more appealing and
activating antialiasing.
parent
d68253ec75
commit
33eaeacaa4
Loading…
Reference in New Issue