From d8f273f35bc1fd4e4e6f0b92475e2b8425fcb916 Mon Sep 17 00:00:00 2001 From: Alexander Iljin Date: Tue, 31 May 2016 00:58:13 +0300 Subject: [PATCH] listener: enable ctrl-break interruption only while user code is running --- basis/listener/listener.factor | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/basis/listener/listener.factor b/basis/listener/listener.factor index 5099c5ab90..4c792ae67b 100644 --- a/basis/listener/listener.factor +++ b/basis/listener/listener.factor @@ -24,6 +24,10 @@ H{ M: object prompt. nip prompt-style get-global format bl flush ; +: with-ctrl-break ( quot -- ) + enable-ctrl-break + [ disable-ctrl-break ] [ ] cleanup ; inline + : parse-lines-interactive ( lines -- quot/f ) [ parse-lines ] with-compilation-unit ; @@ -120,7 +124,7 @@ t error-summary? set-global [ read-quot [ - '[ datastack _ with-datastack ] + '[ [ datastack _ with-datastack ] with-ctrl-break ] [ call-error-hook datastack ] recover ] [ return ] if* -- 2.34.1