>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
>> I am not sure what I say is very clear :) Martin> No, but that won't stop me: apparently you want No, I did not want yet another magic constant :) What I meant is that when you find a position inside a nested inset, but the position just outside the inset is closer to the target, you have no reason to stay inside the inset. Unfortunately I do not understand the code well enough to write code. The idea is that we should not do the cur.push(*this) if the position we found is not closer to the target than the current cursor position. JMarc
