On Sun, Aug 09, 2009 at 11:45:29PM +0200, Vincent van Ravesteijn wrote: > >>> >>> So we have two solutions: >>> 1) set the Buffer again for pars_[pit] and pars_[pit - 1] and do this >>> for all operation that involves a Paragraph or an Inset copy. >>> 2) set the buffer for all paragraphs and insets in updateLabel() as >>> this is guaranted to be be called each time each time a new >>> Paragraph or a new inset is created or removed. >>> >> >> 3) store inset parents, instead of buffer pointers, buffer() is the >> buffer stored in the outermost InsetText. Swapping paragraphs within the >> same InsetText/Text would not even have to adjust anything. >> >> Andre' >> > So, Paragraph : Inset ?
Not necessarily. But it is certainly not an outrageous thought. The main problem (as usual...) is cursor movement between adjacent paragraphs, and IIRC that's what stopped deeper examination of this approach last time. Andre'
