Closed nhooyr closed 4 years ago
This is not currently supported, but thanks for bringing it up, not something I'd really thought about much.
I just added this to my fork. Will push soon.
Going to close as it has been a while and I'm not sure if this is relevant anymore.
There doesn't seem to be any option to modify the font's line spacing.