(wait_reading_process_input): Don't call prepare_menu_bars
authorRichard M. Stallman <rms@gnu.org>
Fri, 6 May 1994 06:39:48 +0000 (06:39 +0000)
committerRichard M. Stallman <rms@gnu.org>
Fri, 6 May 1994 06:39:48 +0000 (06:39 +0000)
commit8b4d685f0107250963549f928e2c9dc3f9add4dc
treef94385459331ba644c90ec2046e5c75b41b88b02
parent5da3133aae3027f85c69e8e5baf9c9054b6fcbea
(wait_reading_process_input): Don't call prepare_menu_bars
unless we are going to redisplay for a garbaged frame.
(read_process_output): Call prepare_menu_bars if waiting for input.
(exec_sentinel): Call prepare_menu_bars if waiting for input.
src/process.c