mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-19 15:04:50 +02:00
Code Issues Packages Projects Releases Wiki Activity

forgot this in the last commit

Browse Source
This commit is contained in:
Kovid Goyal
2021-09-15 14:03:01 +05:30
parent c08dc64581
commit 5c1dd69963
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
kittens/tui/operations.py
View File

@@ -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')