28.07.2011, 01:00, "Miguel de Benito Delgado" <m.debenito.delg...@gmail.com>:
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 canI know. But it isn't the most convenient way.
> move the label with SHIFT-LEFT-ARROW CUT and then PASTE in the new place.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.
The thing I am going to do is to move a bookmark to the place where the cursor is by clicking a menu item (in one of several menus which will list all bookmarks).
--
Victor Porton - http://portonvictor.org
Victor Porton - http://portonvictor.org
_______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
