mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-19 06:54:58 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
85a354351acd6081b0b16bf76239d4a334608b31
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