From a46c3f7007e9075d9ad9ba336aea87f4aecbf37c Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Tue, 24 Mar 2020 22:03:10 +0530 Subject: [PATCH] Replace use of cast() --- kitty/conf/definition.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kitty/conf/definition.py b/kitty/conf/definition.py index 9bf226fb1..3c1e77757 100644 --- a/kitty/conf/definition.py +++ b/kitty/conf/definition.py @@ -6,7 +6,7 @@ import re from functools import partial from typing import ( Any, Callable, Dict, Generator, Iterable, List, Match, Optional, Sequence, - Set, Tuple, Union, cast, get_type_hints + Set, Tuple, Union, get_type_hints ) from .utils import to_bool @@ -156,7 +156,7 @@ def remove_markup(text: str) -> str: 'layouts': 'https://sw.kovidgoyal.net/kitty/index.html#layouts', 'sessions': 'https://sw.kovidgoyal.net/kitty/index.html#sessions', }[m.group(2)] - return cast(str, m.group(2)) + return str(m.group(2)) return re.sub(r':([a-zA-Z0-9]+):`(.+?)`', sub, text, flags=re.DOTALL)