>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:

>> > Let's wait a bit to see whether Andre chimes in...

Andre> Aehm. What?

Andre> Selection? This is two dociterators, 'anchor' and 'cursor',
Andre> with anchor.size() >= cursor.size() and anchor[i].inset() ==
Andre> cursor[i].inset() for i = 0 ... cursor.size() - 1.

Thanks for the explanation. We finally figured it out :)

JMarc

Reply via email to