config: add cursor.underline-thickness

Works in pretty much the same way as ‘beam-thickness’, except that the
default value is “the font’s underline thickness”.

This means, that when unset, the cursor underline thickness scales
with the font size.

But, when explicitly set, either to a point size value, or a pixel
size, it remains fixed at that size.

Closes #524
This commit is contained in:
Daniel Eklöf 2021-05-18 18:52:10 +02:00
parent af428d544f
commit 1b5c849994
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
6 changed files with 71 additions and 21 deletions

View file

@ -49,6 +49,7 @@
# color=111111 dcdccc
# blink=no
# beam-thickness=1.5
# underline-thickness=<font underline thickness>
[mouse]
# hide-when-typing=no