(wait_reading_process_output): Check for window changes caused by timers.
authorChong Yidong <cyd@stupidchicken.com>
Wed, 27 Feb 2008 15:07:14 +0000 (15:07 +0000)
committerChong Yidong <cyd@stupidchicken.com>
Wed, 27 Feb 2008 15:07:14 +0000 (15:07 +0000)
commit9c9086d306adbfa0d53a4fa79e46d8ace8082478
treebd32978bead6898155fccd84dd86efa40962a83b
parent1239e1989d9e100fb1f25e26d4e8aba17fb8a1f4
(wait_reading_process_output): Check for window changes caused by timers.
Suggested by Johan Bockgård.
src/process.c