>>>>> "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.

JMarc

Reply via email to