>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
>> What about this different version? Juergen> What about moving your code there and adding another bool for Juergen> the case "just copy the selection and paste it inside the Juergen> inset"? Or do you think this is overkill? I think it is overkill because index is the only inset that does not delete the selection when it is inserted. I think I'll apply this patch. JMarc
