config: add underline-offset option

This option allows the user to configure a custom underline
offset. That is, use the user provided offset instead of the font
provided one.

Closes #490
This commit is contained in:
Daniel Eklöf 2021-06-17 17:52:38 +02:00
parent 11829931a7
commit cf81fff062
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
6 changed files with 42 additions and 9 deletions

View file

@ -12,6 +12,7 @@
# letter-spacing=0
# horizontal-letter-offset=0
# vertical-letter-offset=0
# underline-offset=<font metrics>
# box-drawings-uses-font-glyphs=no
# dpi-aware=yes