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 <por...@yandex.ru> wrote: > 27.07.2011, 18:47, "Victor Porton" <por...@narod.ru>: > > 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 > Texmacs-dev@gnu.org > https://lists.gnu.org/mailman/listinfo/texmacs-dev >
_______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
