diff --git a/kitty/conf/types.py b/kitty/conf/types.py index f24046363..7f41a666e 100644 --- a/kitty/conf/types.py +++ b/kitty/conf/types.py @@ -113,6 +113,8 @@ def remove_markup(text: str) -> str: if key in ('ac', 'opt'): t, q = extract(m) return f'{t} {q}' if q and q != t else t + if key == 'code': + return m.group(2).replace('\\\\', '\\') return str(m.group(2)) diff --git a/kitty/options/definition.py b/kitty/options/definition.py index b7c56c922..1671650bf 100644 --- a/kitty/options/definition.py +++ b/kitty/options/definition.py @@ -3991,8 +3991,8 @@ keyboard protocol. The special value :code:`all` means all of them. Some more examples:: # Output a word and move the cursor to the start of the line (like typing and pressing Home) - map ctrl+alt+a send_text normal Word\\x1b[H - map ctrl+alt+a send_text application Word\\x1bOH + map ctrl+alt+a send_text normal Word\\e[H + map ctrl+alt+a send_text application Word\\eOH # Run a command at a shell prompt (like typing the command and pressing Enter) map ctrl+alt+a send_text normal,application some command with arguments\\r '''