diff --git a/kittens/tui/operations.py b/kittens/tui/operations.py index 74a0e35ec..3f64a67a7 100644 --- a/kittens/tui/operations.py +++ b/kittens/tui/operations.py @@ -166,11 +166,8 @@ def scroll_screen(amt: int = 1) -> str: return '\033[' + str(abs(amt)) + ('T' if amt < 0 else 'S') -STANDARD_COLORS = {name: i for i, name in enumerate( - 'black red green yellow blue magenta cyan gray'.split())} -STANDARD_COLORS['white'] = STANDARD_COLORS['gray'] -UNDERLINE_STYLES = {name: i + 1 for i, name in enumerate( - 'straight double curly'.split())} +STANDARD_COLORS = {'black': 0, 'red': 1, 'green': 2, 'yellow': 3, 'blue': 4, 'magenta': 5, 'cyan': 6, 'gray': 7, 'white': 7} +UNDERLINE_STYLES = {'straight': 1, 'double': 2, 'curly': 3, 'dotted': 4, 'dashed': 5} ColorSpec = Union[int, str, Color] diff --git a/kitty/options/definition.py b/kitty/options/definition.py index 8ff1efed2..5ab4474ab 100644 --- a/kitty/options/definition.py +++ b/kitty/options/definition.py @@ -360,7 +360,7 @@ opt('url_color', '#0087bd', option_type='to_color', ctype='color_as_int', long_text=''' The color and style for highlighting URLs on mouse-over. :code:`url_style` can -be one of: none, single, double, curly +be one of: none, straight, double, curly, dotted, dashed ''' ) diff --git a/kitty/options/utils.py b/kitty/options/utils.py index d4d9848c1..a0de71533 100644 --- a/kitty/options/utils.py +++ b/kitty/options/utils.py @@ -500,15 +500,14 @@ def scrollback_pager_history_size(x: str) -> int: return min(ans, 4096 * 1024 * 1024 - 1) +# "single" for backwards compat +url_style_map = {'none': 0, 'single': 1, 'straight': 1, 'double': 2, 'curly': 3, 'dotted': 4, 'dashed': 5} + + def url_style(x: str) -> int: return url_style_map.get(x, url_style_map['curly']) -url_style_map = { - v: i for i, v in enumerate('none single double curly'.split()) -} - - def url_prefixes(x: str) -> Tuple[str, ...]: return tuple(a.lower() for a in x.replace(',', ' ').split())