diff configure.in @ 80412:3aec81c35e11

(next_overlay_string): Don't set overlay_strings_at_end_processed_p if we're currently reading from a display string.
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 31 Mar 2008 22:37:54 +0000
parents 02c316a51404
children c6bdc935d2d0
line wrap: on
line diff