>>>>> "Alfredo" == Alfredo Braunstein <[EMAIL PROTECTED]> writes:
Alfredo> 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... Alfredo> For bookmarks I'd agree. The other users of paragraphs ids Alfredo> are toc and error list. I would say that it would be better to integrate toc, error list and bookmarks so that they work similarly. Of course, one advantage of bookmarks-as-insets would be to make them saved with the file. JMarc
