diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-01-24 23:26:02 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-01-24 23:27:00 -0800 |
| commit | 83092147a7b7fa9b97071b44f1e77cc0e3c2a9fa (patch) | |
| tree | d5baaa7871190c4f65599b10f183adc135346530 | |
| parent | c1e6a522bdd7e8c9368cf506b1021a38873d30f2 (diff) | |
| download | mu-83092147a7b7fa9b97071b44f1e77cc0e3c2a9fa.tar.gz | |
613 - support for interrupting with ctrl-c
| -rw-r--r-- | mu.arc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mu.arc b/mu.arc index 1a7c7cc7..a859c046 100644 --- a/mu.arc +++ b/mu.arc @@ -678,6 +678,9 @@ (do ($.charterm-display #\backspace) ($.charterm-display #\space) ($.charterm-display #\backspace)) + ctrl-c + (do ($.close-charterm) + (die "interrupted")) ;else ($.charterm-display x))) ) |