changeset 11167:5ba84aee3999

(event_to_kboard): Ignore dead frames. (kbd_buffer_get_event): In batch mode, use current_kboard.
author Karl Heuer <kwzh@gnu.org>
date Fri, 31 Mar 1995 04:51:59 +0000
parents 0e9fad3ccf03
children 0d016216ea29
files src/keyboard.c
diffstat 1 files changed, 4 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/src/keyboard.c	Fri Mar 31 03:57:05 1995 +0000
+++ b/src/keyboard.c	Fri Mar 31 04:51:59 1995 +0000
@@ -2170,8 +2170,9 @@
     frame = WINDOW_FRAME (XWINDOW (frame));
 
   /* There are still some events that don't set this field.
-     For now, just ignore the problem.  */
-  if (!FRAMEP (frame))
+     For now, just ignore the problem.
+     Also ignore dead frames here.  */
+  if (!FRAMEP (frame) || !FRAME_LIVE_P (XFRAME (frame)))
     return 0;
   else
     return FRAME_KBOARD (XFRAME (frame));
@@ -2308,7 +2309,7 @@
     {
       c = getchar ();
       XSETINT (obj, c);
-      *kbp = all_kboards;  /* There'd better be exactly one!  */
+      *kbp = current_kboard;
       return obj;
     }