##// END OF EJS Templates
docs/autogen_shortcuts.py: support Python 3.8...
Philippe Blain -
Show More
@@ -17,7 +17,7 b' from IPython.terminal.shortcuts.filters import KEYBINDING_FILTERS'
17 @dataclass
17 @dataclass
18 class Shortcut:
18 class Shortcut:
19 #: a sequence of keys (each element on the list corresponds to pressing one or more keys)
19 #: a sequence of keys (each element on the list corresponds to pressing one or more keys)
20 keys_sequence: list[str]
20 keys_sequence: List[str]
21 filter: str
21 filter: str
22
22
23
23
@@ -146,7 +146,7 b' def format_prompt_keys(keys: str, add_alternatives=True) -> str:'
146 escaped = key.replace("\\", "\\\\")
146 escaped = key.replace("\\", "\\\\")
147 return f":kbd:`{escaped}`"
147 return f":kbd:`{escaped}`"
148
148
149 keys_to_press: list[str]
149 keys_to_press: List[str]
150
150
151 prefixes = {
151 prefixes = {
152 "c-s-": [to_rst("ctrl"), to_rst("shift")],
152 "c-s-": [to_rst("ctrl"), to_rst("shift")],
General Comments 0
You need to be logged in to leave comments. Login now