Andre Poenitz wrote: > On Mon, Nov 03, 2003 at 03:46:47PM +0000, John Levon wrote: >> On Mon, Nov 03, 2003 at 03:44:33PM +0000, Angus Leeming wrote: >> >> > > See attached. >> > >> > It certainly looks like the code that originaly used this has >> > dissappeared. >> >> I'm well behind: what stores bookmarks now, and how does it ensure >> safety under deletion of the paragraph ? > > When I think about this: I would store bookmarks as (guess what...) > insets. > > No special handling needed anymore. Stable across save/restart/load, > no need for parid (which is not that stable), easily > insertable/removable...
For bookmarks I'd agree. The other users of paragraphs ids are toc and error list. I think that for those (and for multiple BVs cursors), putting a markers_list_ inside each paragraph, which gets updated exactly as the insetlist but do not occupate space in the container (nor show) can solve the problem of long-term-stable positions. I'd even say it's dead easy to implement. Later anyway. Alfredo
