Johannes Altmanninger 156fa8081c Underline styles for double/dotted/dashed ...

My phone uses dotted underline to indicate errors; that seems nice, a bit
less aggressive than curly.  Unfortunately dotted underlines are not as well
supported in terminal emulators; sometimes they are barely visible.  So it's
unlikely that we want to use --underline=dotted for an important theme.
Add double and dashed too I guess, even though I don't have a concrete
use case..

2025-05-11 22:18:06 +02:00

7.4 KiB

Raw Blame History

View Raw