mirror of
https://github.com/fish-shell/fish-shell.git
synced 2026-04-20 16:11:14 -03:00
156fa8081c
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..