config: add setting for underline thickness

This adds an "underline-thickness" setting to the "main" section,
similar to the existing "underline-offset" setting. This setting is used
to specify a custom height for regular (= non-cursor) underlines.

Fixes #1136
This commit is contained in:
Yorick Peterse 2022-08-19 02:54:49 +02:00
parent 65ecb77737
commit a0942f950d
No known key found for this signature in database
GPG key ID: EDD30D2BEB691AC9
7 changed files with 29 additions and 1 deletions

View file

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