On Sun, Aug 09, 2009 at 11:47:27PM +0200, Abdelrazak Younes wrote: > On 09/08/2009 23:45, 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 ? > > Indeed :-) > > And oh I agree with André that two ways navigation within inset would be > very nice. But we have the very same discussion every year around > summer...
Right. On the other hand, I change my stance on the matter only once every twelve years or so. And I am not sure that it's only due to increased stubbornness... Andre'
