mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-07 17:43:53 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
b81700a8fd9f0bac48c9dd83d4d8751a15978067
kitty/kittens/tui/loop.py
Kovid Goyal e0ce5d5629 tui: Cleanup unhandled exception processing 
Also handler finalization should happen before term manager
finalization.
2018-05-10 16:20:33 +05:30

14 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink