The following change in how WIN32 graphics devices are flushed gives
authorStephen Adams <edu/mit/csail/zurich/adams>
Fri, 26 Sep 1997 19:53:02 +0000 (19:53 +0000)
committerStephen Adams <edu/mit/csail/zurich/adams>
Fri, 26 Sep 1997 19:53:02 +0000 (19:53 +0000)
commitb7fba09a14e2091082afb55458b90e9d35c490c5
treecb9aab1c53c2c9538c5a901c924630134e2193cf
parent8f4bb64da228d17a59be14e2be55b28d4f036baa
The following change in how WIN32 graphics devices are flushed gives
non-flickering update almost like double-buffering for programs which
have to draw multiple frames from scratch.

If graphics buffering is enabled, then a GRAPHICS-FLUSH operation
comes from the user's program.  The change is to synchronously redraw
the screen in this (i.e. buffered+flush) case.  Subsequent operations
can clear and draw without an asynchronous redraw operation copying
the subsequent partial image to the screen.

This is not quite double-buffering since forced redisplay during the
buffered drawing (for example, uncovering part of the window) will
cause the partly draw backing bitmap to be copied to the screen.

User programs with buffering and frequent explicit flushes are likely
to be slower.
v7/src/win32/graphics.scm
v7/src/win32/win32.pkg