New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improve font selection #15

Open

spodskubka opened this issue Apr 20, 2017 · 1 comment

Labels

Owner

spodskubka commented Apr 20, 2017

Users should be able to choose every fixed-width font that is available on their system, not only the limited list that is selectable now.

If that is not possible there should be some advanced fonts that users have requested bundled with the app (if licenses permit it):

spodskubka added the enhancement label

DRSDavidSoft commented Feb 7, 2019

In addition to those, I'd suggest Source Code Pro which is a very nice font:

https://github.com/adobe-fonts/source-code-pro

Also, based on that there is Hasklig which also would be nice.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment