Edit: Bookmarks

Top  Previous  Next

menu_edit_bookmarks

Bookmarks can be used to ease the navigation of large files.

 

The individual items:

 

Toggle Bookmark

Next Bookmark

Previous Bookmark

Clear All Bookmarks

 

Toggle Bookmark

Go to Bookmark