GNU TeXmacs - Bugs: bug #24722, Should have bookmarks
You are not allowed to post comments on this tracker with your current authentication level.
bug #24722: Should have bookmarks
Submitter: | Victor Porton <porton> | ||
Submitted: | Sat 01 Nov 2008 08:33:52 PM UTC | ||
Category: | User Interface | Priority: | 5 - Normal |
Item Group: | Wishlist | Status: | None |
Privacy: | Public | Assigned to: | None |
Originator Name: | Open/Closed: | Open | |
Release: | None | Release: | |
Fixed Release: | None | Fixed Release: | |
Keywords: |
Thu 23 Mar 2017 09:53:51 PM UTC, comment #4: |
Philippe Joyez <pjoyez> |
Wed 01 Mar 2017 07:12:58 PM UTC, comment #3: Yeah, what I meant is that it would be easy to hijack labels to to what you want, and this could actually be done by a user simply by scripting in scheme. For instance you could prefix your bookmarks with some key and display only these in a drop-down list. Can you explain why this would not suit your needs?
|
Philippe Joyez <pjoyez> |
Tue 28 Feb 2017 08:34:05 PM UTC, comment #2: The list of labels is sometimes very long (thousands items sometimes).
|
Victor Porton <porton> |
Tue 28 Feb 2017 08:16:28 PM UTC, comment #1: There is already the possibility of jumping right to a section (and variants) using to the drop-down list in the toolbar... do we need something more fine-grained?
|
Philippe Joyez <pjoyez> |
Sat 01 Nov 2008 08:33:52 PM UTC, original submission:
There should be bookmarks which could be added to positions of text by "Add bookmark" menu item. There should be also a toolbar button which being pressed could display popup list of bookmarks for quick access to bookmarks. |
Victor Porton <porton> |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
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.
Powered by Savane 3.13-758e.
Corresponding source code
https://savannah.gnu.org/support/index.php?107757 (marked as duplicate) contains a more complete description of the request.