[plt-scheme] Flood of paint events during resize for MrEd under X

First of all, with a bitmap buffer (draw on an internal bmp-dc, paint
that bmp on the screen) things should be fast enough to move a window
around even when there are windows in front of it.  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.  I never got to actually implement this
since it became painfully clear that opaque resizing under X is a bad
idea, making lots of application an embarrassment.

On Dec 29, Robby Findler wrote:
> 
> I believe you can configure your windows manager to resize by
> dragging an outline around. That's effectively what happens under
> mac os x and windows.
> 
> Robby
> 
> On Dec 29, 2004, at 8:23 AM, Simon Guest wrote:
> >
> > I've just started with MrEd on Debian Linux, using version 208.
> > I've got a fairly simply GUI with a number of panels containing 
> > canvases, and a few buttons.
> >
> > When the main window is resized, the application gets a flood of paint 
> > events, and it cannot keep up.  It takes quite some time (20 seconds, 
> > maybe) before it catches up again.
> >
> > I noticed this post in the PLT Scheme archives, which discusses 
> > exactly this problem:
> > http://www.cs.utah.edu/plt/mailarch/plt-scheme-2002/msg00807.html
> >
> > However, it would seem that this problem didn't get adressed, unless 
> > there is now some work-around I should be using.  Is there?
> >
> > Is there much use of MrEd GUI applications on Linux, or is mostly 
> > everyone using Windows?  The reason I wonder is that with this problem 
> > outstanding, the application behaviour is rather an embarrassment.  
> > Any suggestions?

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!