-
Gerd Moellmann authored
inside redisplay. The update will happen anyway at the end of redisplay, and it can confuse redisplay (GC messages while redisplaying, for instance.)
d4358b37
inside redisplay. The update will happen anyway at the end of redisplay, and it can confuse redisplay (GC messages while redisplaying, for instance.)