diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-10 06:21:14 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-10 06:21:14 -0700 |
| commit | 3f367cb9466131f95c11c24df3aac7057143587b (patch) | |
| tree | bca45b3414e4457813255ffca3f7c5867cbfbd9e /070display.cc | |
| parent | 134dad7c4bbabb4770727240b150d566aa041567 (diff) | |
| download | mu-3f367cb9466131f95c11c24df3aac7057143587b.tar.gz | |
1322 - ctrl-c should always interrupt
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; } |