
May 7, 2008
7:49 p.m.
Hi, attached patch fixes an obvious problem with the redraw optimization that results in artifacts when resizing the window. There may be other issues left. Cheers, Johannes