On Mon, Dec 05, 2005 at 10:42:39AM +0100, Jean-Marc Lasgouttes wrote: > >>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes: > > >> That would make Bookmarks pretty useless as soon as you add/remove > >> a paragraph. The same would hold for the error list. > > Andre> Bookmarks could be implemented by real insets. Same for errors. > > Anyway, the paragraph id debate is secondary. The fact is, every time > one creates a paragraph at the beginning of a document, the whole > document is cloned/deleted.
Would it help if I came up with a ParagraphList implementation wrapping a vector<Paragraph> that avoids that problem? Andre'
