Jean-Marc Lasgouttes wrote: >>>>>> "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.
But let's agree that they are different: you set manually the bookmarks (so visual feedback and cut&paste is nice), but the others are automatic. Alfredo
