11 May
2006
11 May
'06
11:32 p.m.
I struggled with this a while ago and concluded that incremental redisplay is probably the intended solution.