Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:
| >>>>> "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.
Yes. So in 1.5 we are not going to make changes in the core structure,
but we can (and should) see if we can use better suited containers.
--
Lgb
