mainGNU TeXmacs - Support: sr #107757, Add bookmarks


You are not allowed to post comments on this tracker with your current authentication level.

sr #107757: Add bookmarks

Submitter:  Victor Porton <porton>
Submitted:  Fri 29 Jul 2011 02:21:11 PM UTC
Category:  None Priority:  5 - Normal
Severity:  1 - Wish Status:  Duplicate
Privacy:  Public Assigned to:  None
Open/Closed:  Closed Operating System:  None

Thu 23 Mar 2017 09:52:34 PM UTC, comment #1: 
Philippe Joyez <pjoyez>
Group Member
Fri 29 Jul 2011 02:21:11 PM UTC, original submission:  

Please add bookmark functionality to TeXmacs.


Create under "Edit" menu "Bookmarks" menu. This menu should contain:
- "New Bookmark" (asks for bookmark name).
- "Go Bookmark" (with list of all bookmarks).
- "Move Bookmark" (with list of all bookmarks). It should move the bookmark to
the current position in the text.
- "Remove Bookmark" (with list of all bookmarks).

Moving bookmark should erase all bookmarks which have the same name as the
bookmark to be moved and insert new bookmark with the same name. It should be
an atomic operation in terms of Undo history.

"New Bookmark" should also erase all bookmarks with the same name (if these
exist). There must be always maximum one bookmark with the same name.

We may also add some bookmarks menu to a toolbar. I'm not sure what exactly it
should be.

Bookmarks are simply <bookmark|NAME> tags where NAME is the name of the

A bookmark should be visible if "Document > View > Informative Flags >
Detailed" is on.

Victor Porton <porton>


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

No files currently attached


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by pjoyez (Posted a comment)
  • -email is unavailable- added by porton (Submitted the item)

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.


    Follow 2 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2017-03-23 pjoyez StatusNone Duplicate
        Open/ClosedOpen Closed

    Back to the top

    Powered by Savane 3.12