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: |
|
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: |
|
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