2011/7/27 Victor Porton
<address@hidden>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.