Re: [Texmacs-dev] Updated repo and programming bookmarks

[Miguel de Benito Delgado]

I think redefining <label> might not be such a good idea, since many things depend on it. For instance the new PDF links, though I'm not sure about this.
________________
Miguel de  Benito.

On Wed, Jul 27, 2011 at 16:52, Victor Porton <address@hidden> wrote:

27.07.2011, 18:47, "Victor Porton" <address@hidden>:

> I just updated my fork of TeXmacs (containing export option groups in sone export preferences).

Sone -> some.

> https://gitorious.org/~porton/texmacs/texmacs-porton
>
> Now I want to add bookmarks to TeXmacs.
>
> I am going to define <bookmark> tag as macro calling <label>.

Hm, maybe I should to add <base-label> tags and make both <label> and <bookmark> simply macroses calling <base-label>. What do you think?

> I want to add a menu which will list all bookmarks in a document, with options to move (to the current cursor position) or to remove a bookmark.
>
> Could you advise me how to make a menu based on the list of all <bookmark> tags in a document? I suspect it is like the menu of all sections in the toolbar, but I've not yet looked how it is implemented.

--
Victor Porton - http://portonvictor.org

_______________________________________________
Texmacs-dev mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/texmacs-dev