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 ?
Well, it obviously does not store inset ids, as it compiles without.
Don't know how it works, though.
void BufferView::Pimpl::savePosition(unsigned int i)
{
if (i >= saved_positions_num)
return;
saved_positions[i] = Position(buffer_->fileName(),
bv_->text->cursorPar()->id(),
bv_->text->cursor.pos());
if (i > 0)
owner_->message(bformat(_("Saved bookmark %1$s"), tostr(i)));
}
seems to indicate the use of a paragraph id.
Andre'
