From 83041b1c977d2292dee65907f036f318d47b7352 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Thu, 25 Nov 2021 08:02:49 +0530 Subject: [PATCH] Fix #4273 --- kitty/options/utils.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/options/utils.py b/kitty/options/utils.py index 6b995814d..75d42ee87 100644 --- a/kitty/options/utils.py +++ b/kitty/options/utils.py @@ -792,7 +792,7 @@ def symbol_map(val: str) -> Iterable[Tuple[Tuple[int, int], str]]: return int(x[2:], 16) for x in parts[0].split(','): - a_, b_ = x.partition('-')[::2] + a_, b_ = x.replace('–', '-').partition('-')[::2] b_ = b_ or a_ try: a, b = map(to_chr, (a_, b_))