(ok_to_echo_at_next_pause): Make it a char *.
commit0c04a67e981249137042912ac11ad178af6d0e21
authorRichard M. Stallman <rms@gnu.org>
Tue, 24 Oct 1995 22:20:58 +0000 (24 22:20 +0000)
committerRichard M. Stallman <rms@gnu.org>
Tue, 24 Oct 1995 22:20:58 +0000 (24 22:20 +0000)
treee337716d130a4ad1cf479e0cbb2fa6f0e35b0fb5
parent8ccdc29ebc27112908a04969ac59ac41536be3e2
(ok_to_echo_at_next_pause): Make it a char *.
(read_char): Copy and compare with echo_area_glyphs.
src/keyboard.c