>>>>> "Jean-Marc" == Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:
>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes: Juergen> Jean-Marc Lasgouttes wrote: >>> Yes, we shall remove >>> >>> cmd = FuncRequest(LFUN_FINISHED_LEFT); >>> cur.undispatched(); Juergen> OK. Do you happen to have a patch in hand? Jean-Marc> OK, you win :) Jean-Marc> This fixes the leaving of inset, and also the selection of Jean-Marc> not-so-small atoms. I committed it. JMarc
