From 5c1dd699632f5ee1804dc9eea13d5f2b7ec2e735 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Wed, 15 Sep 2021 14:03:01 +0530 Subject: [PATCH] forgot this in the last commit --- kittens/tui/operations.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/kittens/tui/operations.py b/kittens/tui/operations.py index b57668a9b..f92c066a3 100644 --- a/kittens/tui/operations.py +++ b/kittens/tui/operations.py @@ -202,7 +202,8 @@ def styled( bold: Optional[bool] = None, underline: Optional[str] = None, underline_color: Optional[ColorSpec] = None, - reverse: Optional[bool] = None + reverse: Optional[bool] = None, + dim: Optional[bool] = None, ) -> str: start, end = [], [] if fg is not None: @@ -227,6 +228,10 @@ def styled( s, e = (start, end) if bold else (end, start) s.append('1') e.append('22') + if dim is not None: + s, e = (start, end) if dim else (end, start) + s.append('2') + e.append('22') if reverse is not None: s, e = (start, end) if reverse else (end, start) s.append('7')