diff admin/ChangeLog @ 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 38920de54b5d
children 0b6e7c19f082
line wrap: on
line diff