changeset 2032:20cc6c34421c

(Info-summary): Handle any event when flushing the display.
author Richard M. Stallman <rms@gnu.org>
date Sat, 06 Mar 1993 06:15:39 +0000
parents f2dbfd43a1c5
children 10cdd2928c7d
files lisp/info.el
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/info.el	Sat Mar 06 06:15:05 1993 +0000
+++ b/lisp/info.el	Sat Mar 06 06:15:39 1993 +0000
@@ -896,7 +896,7 @@
       (while (progn (setq flag (not (pos-visible-in-window-p (point-max))))
 		    (message (if flag "Type Space to see more"
 			       "Type Space to return to Info"))
-		    (if (/= ?\  (setq ch (read-char)))
+		    (if (not (eq ?\  (setq ch (read-event))))
 			(progn (setq unread-command-events (list ch)) nil)
 		      flag))
 	(scroll-up)))))