K 10
svn:author
V 6
jdorje
K 8
svn:date
V 27
2005-10-14T00:33:00.534035Z
K 7
svn:log
V 137
Fix a bug where mapview refreshes sometimes didn't get flushed to the screen.

Reported by Per Mathisen and Christian Knoke in PR#14307.

END