Alfredo Braunstein wrote:
>> Furthermore, there is a leak in the code above. I think the minimal
>> change is:
>>
>> if (from.getInset(i)) {
>> // the inset is not in a paragraph anymore
>> tmpinset = from.insetlist.release(i);
>> + from.insetlist.erase(i);
>
> but insetlist.erase actually delete()s the inset so this solution is
> no good I think.insetlist.release(i) sets the pointer to zero, so delete becaomes a no-op. -- Angus
