Hi, 2011/7/27 Victor Porton <por...@narod.ru> > > The following is a possible solution: > > Define <bookmark> tag (which maybe should just call <label> tag) and make a > menu which would list all bookmarks.
I also would prefer this approach, precisely because of the possibility of listing all bookmarks. As to wether using the \label tag or not, I don't know. I guess it would depend on what you want to be able to do with bookmarks. > > You can click on your reference to go straight to that label. You can > > move the label with SHIFT-LEFT-ARROW CUT and then PASTE in the new place. > > I know. But it isn't the most convenient way. Yep, far from it. But what would be? Drag and drop wouldn't, for instance. In many IDEs one can toggle a bookmark for a line with a simple click. Maybe this could be a way, or maybe using the contextual (right-click) menu. ________________ Miguel de Benito.
_______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
