j
k
j a
j l
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!
Attachments:
Back to the thread
Back to the list