At: menu/view/ change font...

It would be so much easier to choose a desired font family (most people only know a couple of fonts) if the families were classified.
I believe a good classification is into monospace vs proportional fonts.

Thanks!

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.