>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> if you change Martin> if (it != begin() Martin> into Martin> if (it != begin() && currx >= targetx Martin> I expect Joost will find it behaving slightly better in the Martin> situation he complained about. It won't fix everything though. I propose that we keep the patch as it is now (it fixes the crash and improves a lot mouse positioning) and keep the other experimentations for later. OK? Lars? JMarc