mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-25 17:52:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Report overlay ready in case of no match

Browse Source
This commit is contained in:
pagedown
2022-03-25 22:52:35 +08:00
parent 0c4b20aa4e
commit 16c6545e93
4 changed files with 19 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kittens/tui/loop.py
View File

@@ -182,7 +182,7 @@ class UnhandledException(Handler):
self.cmd.set_default_colors()
self.write(self.tb.replace('\n', '\r\n'))
self.write('\r\n')
self.write('Press the Enter key to quit')
self.write('Press Enter to quit')
def on_key(self, key_event: KeyEventType) -> None:
if key_event.key == 'ENTER':