>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:
>> I propose to use the following patch for now. The only remaining >> glitch I could find is that it is possible to put the cursor in >> front of a displayed inset, but I think this will be good enough >> for now. Andre> I thought the glitch was a feature. When is it useful? JMarc
