On 08/09/2009 07:23 PM, Andre Poenitz wrote:
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.
Yes, that does seem a big problem. BUT: I can certainly think of other
cases where one might want to be able to select (say) text that spans
various insets. So if one could solve that problem....
rh
