From dfbfad25bf75a6dea0b831f6e36397c6892e04b0 Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Fri, 17 Jun 2005 14:06:22 +0000 Subject: [PATCH] (read_char): Call restore_getcjmp after jump occurs. --- src/keyboard.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/keyboard.c b/src/keyboard.c index b213d187aac..524f0efabbd 100644 --- a/src/keyboard.c +++ b/src/keyboard.c @@ -2616,6 +2616,9 @@ read_char (commandflag, nmaps, maps, prev_event, used_mouse_menu) if (_setjmp (local_getcjmp)) { + /* We must have saved the outer value of getcjmp here, + so restore it now. */ + restore_getcjmp (save_jump); XSETINT (c, quit_char); internal_last_event_frame = selected_frame; Vlast_event_frame = internal_last_event_frame; -- 2.39.2