4 ms·
Leading and width is configurable, actually :)
by be5invis 10y ago
Leading and width is configurable, actually :)
- skolos 10y agoI 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.
- cyphunk 10y agoI'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/b72d75c07543b204c22a5d01b2b6c70cae5d31ee https://github.com/glebd/Iosevka/commit/b72d75c07543b204c22a...