Hacker News new | ask | show | jobs
by be5invis 3363 days ago
Leading and width is configurable, actually :)
1 comments

I might not be very advanced user. Configurable how? When generating fonts? Or in an editor? Most editors that I use do not have these configuration options.
I'm sure if you can do it with a `make custon-config` command, but here are the changes one makes to the parameters file:

https://github.com/glebd/Iosevka/commit/b72d75c07543b204c22a...