How can i get quickly the list of all <bookmark> tags in a document? I want to make a menu which lists all bookmarks but don't know where to start.
Should I parse the entire document finding <bookmark> tags before every show of the menu. Isn't this to slow? Should I code it in Scheme or in C++? I think it is similar to the menu with choice of a section of the document, as it is in the focus toolbar. But where is the code which implements that? -- Victor Porton - http://portonvictor.org _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
