KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

DRYer

Browse Source
This commit is contained in:
Kovid Goyal 2021-07-27 08:44:50 +05:30
parent 55aa9e11db
commit 17f3d2d581
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
kitty/cli.py
View File

@ -224,12 +224,12 @@ def parse_option_spec(spec: Optional[str] = None) -> Tuple[OptionSpecSeq, Option
def prettify(text: str) -> str: def prettify(text: str) -> str:
def identity(x: str) -> str:
return x
def sub(m: Match) -> str: def sub(m: Match) -> str:
role, text = m.group(1, 2) role, text = m.group(1, 2)
try: return role_map.get(role, identity)(text)
return str(role_map[role](text))
except KeyError:
return str(text)
text = re.sub(r':([a-z]+):`([^`]+)`', sub, text) text = re.sub(r':([a-z]+):`([^`]+)`', sub, text)
return text return text