On 18 Jan 2001, Lars Gullik Bjønnes wrote:

> The note inset should be renamed InsetBookmark, a menu item with the
> list of bookmarks added and a way to id the bookmarks. So that they
> can be easily moved/jumped to.
> 
> That is my option.
> 
> We should have two kindos of bookmars, the default non-peristent ones,
>         and the persistent one.s

The persistent ones are already called "labels" and there are already ways
to navigate between references (goto and return).

Alejandro


Reply via email to