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)
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)