>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:

Andre> I think paragraph ids are an anachrnism. We have stable(!) doc
Andre> iterators nowadays, so positions could be indicated by those.

That would make Bookmarks pretty useless as soon as you add/remove a
paragraph. The same would hold for the error list.

JMarc

Reply via email to