(wait_reading_process_output): Check for window changes caused by timers.
authorChong Yidong <cyd@stupidchicken.com>
Wed, 27 Feb 2008 15:09:04 +0000 (15:09 +0000)
committerChong Yidong <cyd@stupidchicken.com>
Wed, 27 Feb 2008 15:09:04 +0000 (15:09 +0000)
commit70bb1e5f2a0905f3d121bd42e95f51744f544d2f
tree3d1f26047f04db7ad7fd62fb302dc8d72fce1efa
parentaf2080a243a43560c8b0375c39936e9722c3f9f3
(wait_reading_process_output): Check for window changes caused by timers.
Suggested by Johan Bockgård.
src/process.c