>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> I commented those lines out and didn't see any bad effects at Juergen> first glance. It looks like this: [...] Juergen> while BufferView::mouseSetCursor does: [...] Juergen> so cur.bv().cursor() is set in mouseSetCursor. Is this Juergen> enough? What could happen? I think it is enough. JMarc
