h/fish-shell
1
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2026-05-30 03:01:15 -03:00
Code Issues Packages Projects Releases Wiki Activity

Underline styles for double/dotted/dashed

Browse Source 
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..
This commit is contained in:
Johannes Altmanninger
2025-05-06 09:59:30 +02:00
parent 3081d0157b
commit 156fa8081c
9 changed files with 60 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
share/tools/web_config/webconfig.py
View File

@@ -244,7 +244,7 @@ def parse_color(color_str):
underline = "single"
elif comp.startswith("--underline="):
underline = comp.stripprefix("--underline=")
elif comp.startswith("-u"): # Multiple short options like "-rbcurly" are not yet supported.
elif comp.startswith("-u"): # Multiple short options like "-rucurly" are not yet supported.
underline = comp.stripprefix("-u")
elif comp == "--italics" or comp == "-i":
italics = True