(read_filtered_event): Retry read_char after a buffer change.
tree870637519a042933f4bfd41732053fbb36246571
-rw-r--r-- 4558 GETTING.GNU.SOFTWARE
-rw-r--r-- 21549 INSTALL
-rw-r--r-- 18114 Makefile.in
-rw-r--r-- 30940 PROBLEMS
-rwxr-xr-x 4766 build-ins.in
-rw-r--r-- 3522 config.bat
-rwxr-xr-x 5372 config.guess
-rwxr-xr-x 14717 config.sub
-rwxr-xr-x 42604 configure1.in
drwxr-xr-x - etc
drwxr-xr-x - lib-src
drwxr-xr-x - lisp
drwxr-xr-x - lispref
drwxr-xr-x - lwlib
-rwxr-xr-x 11911 make-dist
drwxr-xr-x - msdos
drwxr-xr-x - src
-rw-r--r-- 7613 tparam.c
-rw-r--r-- 246 vpath.sed