Adding the ability to change fonts in settings.

[Marki2019]

Is your feature request related to a problem? Please describe.
it's not a problem but its more of an option.

Describe the solution you'd like
The ability to change fonts in settings (like a dropdown menu with a set of fonts that people on github can propose to be added).

Additional context
Heres an example of Ubuntu Mono (one of my personal favourite fonts. I think it'd look pretty decent as one of the fonts)