From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <67c9a432fcc5efbb15356107e3a5b658@plan9.ucalgary.ca>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] rio bug
From: andrey mirtchovski <mirtchov@cpsc.ucalgary.ca>
In-Reply-To: <40608A5A.4010803@swtch.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Date: Tue, 23 Mar 2004 12:19:30 -0700
Topicbox-Message-UUID: 3ee34a36-eacd-11e9-9e20-41e7f4b1d025


> that sounds like a workaround rather than a solution.
> the solution is to make the behavior go away completely.
> 
> russ

it is a more serious problem that requires changes deep in Plan 9's
drawing library and we see it all the time without it even bothering
us -- try dragging a window border over something that does draw() in
the meantime and you'll get a leftover red streak from the border.
the solution is to slightly resize the original window causing a new
draw() to refresh it.

yes, it's a workaround.  nobody seems bothered by it enough to solve
the problem though (well, in my case i don't know how, so i'm excused)

oops, looks like my "workaround" won't work anyway, so it's only an
"around" -- back to where we started :)

andrey