Re: Redisplay problems?

[Stefan]

>> If the garbaged flag is set, the behavior is not much better: instead of
>> exposing outdated content we don't expose anything (i.e. it stays
>> blank), and again the next redisplay should fix.
> Actually, that's not true: the frame doesn't stay blank.  When the
> garbaged flag is set, expose_frame doesn't do anything:

"doesn't do anything" to me means that the screen will be blank.
Or show whatever was displayed there before.  In either case it's not
the correct content.


        Stefan