diff options
Diffstat (limited to '070display.cc')
-rw-r--r-- | 070display.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/070display.cc b/070display.cc index f0e96f02..d420d2f8 100644 --- a/070display.cc +++ b/070display.cc @@ -190,6 +190,7 @@ case READ_KEY_FROM_KEYBOARD: { long long int found = false; //? cerr << event_type << '\n'; //? 1 if (event_type == TB_EVENT_KEY) { + if (event.key == TB_KEY_CTRL_C) tb_shutdown(), exit(1); result = event.key ? event.key : event.ch; found = true; } |