On Thu, 15 Jul 1999, Stefan van den Oord wrote:
[bla bla]

Did it again: forgot to tell you something.
Opening or closing a window solves the problem. So when the window
list gets repainted it is OK again.

-- 
Stefan van den Oord
s.m.vandenoord@student.utwente.nl