On Thu, Apr 03, 2003 at 05:28:06PM +0200, Andre Poenitz wrote: > Unfortunately there is no obvious solution for it (most notably it's not > just "make it one pixel smaller", as this introduces "sursor droppings"). > I think the situation willl imprve as soon as we have a "full redraw > everytime" policy in place. We can do much better "fine tuning" then...
The proper solution is surely to rip out all the cursor stuff entirely (the visual stuff, I mean) then reintroduce it in a slightly saner manner john
