diff oldXMenu/SetPane.c @ 80651:a656c149eace

(next-error): Do a redisplay to prevent incorrect recentering (workaround for bug#197).
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 28 Jul 2008 20:02:04 +0000
parents fec5e03aaf59
children edf631bdbb7a ec58e5c426ef 5cc91198ffb2
line wrap: on
line diff