(read_char): Call restore_getcjmp after jump occurs.

diff --git a/src/keyboard.c b/src/keyboard.c
index b213d187aacfc493807141e61f8b7b073790abe2..524f0efabbd6b7408f2620537e20d46be5271c4d 100644 (file)
--- 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;