KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix #5469

Browse Source
This commit is contained in:
Kovid Goyal 2022-09-04 13:58:16 +05:30
parent 607bc845fc
commit 31fe35cd38
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
2 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
kittens/tui/handler.py
View File

@ -45,6 +45,7 @@ class Handler:
mouse_tracking = MouseTracking.none mouse_tracking = MouseTracking.none
terminal_io_ended = False terminal_io_ended = False
overlay_ready_report_needed = False overlay_ready_report_needed = False
perform_default_key_actions = True # ctrl-c/ctrl-d will call on_interrupt and on_eot
def _initialize( def _initialize(
self, self,

13
kittens/tui/loop.py
View File

@ -330,12 +330,13 @@ class Loop:
except Exception: except Exception:
pass pass
else: else:
if k.matches('ctrl+c'): if self.handler.perform_default_key_actions:
self.handler.on_interrupt() if k.matches('ctrl+c'):
return self.handler.on_interrupt()
if k.matches('ctrl+d'): return
self.handler.on_eot() if k.matches('ctrl+d'):
return self.handler.on_eot()
return
self.handler.on_key_event(k) self.handler.on_key_event(k)
def _on_pm(self, pm: str) -> None: def _on_pm(self, pm: str) -> None: