src/dump3d.c: Show dates for XSECT.
src/gfxcore.cc: Tweak to use RefreshRect() rather than Refresh() for
slightly simpler code.