(wait_reading_process_input):
authorRichard M. Stallman <rms@gnu.org>
Fri, 8 Mar 1996 03:51:46 +0000 (03:51 +0000)
committerRichard M. Stallman <rms@gnu.org>
Fri, 8 Mar 1996 03:51:46 +0000 (03:51 +0000)
commit5de50bfbba966eb0e17045d4804e99618d2d8ba4
treec413d4ea9d86697c32a4c38908bbe0098d915553
parentbcd4624585336c64e74cba42fcc12108d0d2a3d6
(wait_reading_process_input):
Redisplay after timer_check if timers were actually run.
src/process.c