diff options
| -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))) ) |