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... Andre'
