diff doc/misc/ada-mode.texi @ 92266:f32eae6092fa

(wait_reading_process_output): Check for window changes caused by timers. Suggested by Johan Bockgrd.
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 27 Feb 2008 15:09:04 +0000
parents 5d58981e6690
children eafbd7a5c9be
line wrap: on
line diff