Fix broken keys in help page.

This commit is contained in:
Andrew Hamilton 2021-04-11 18:27:32 +10:00
parent a50f66554a
commit 3c3f06326b

View file

@ -669,11 +669,9 @@ class Help:
appearance_changed_event.set()
def on_keyboard_input(self, term_code, appearance_changed_event):
try:
action = self.key_map[term_code.lower()]
except KeyError:
pass
else:
action = (self.key_map.get(term_code) or
self.key_map.get(term_code.lower()))
if action is not None:
action()
appearance_changed_event.set()