[plt-scheme] Flood of paint events during resize for MrEd under X
At Wed, 29 Dec 2004 15:50:39 -0500, Eli Barzilay wrote:
> Second, for resizing I once tried to keep track of the time a resize
> happened: if there is a second resize event in a short time, you
> switch to a mode where handling resizing is done after a short delay
> -- so when you resize drawing happens as usual, but the content is
> not resized until you stop resizing the window.
This is pretty much how it's implemented in v299, but using event-queue
priority instead of tracking delays.
Matthew