Main Menu - Editing/Bookmarks in Document

This menu allows you to navigate through the document using tabs and other elements. It is available as a submenu in the main Edit menu, or by clicking on the gutter on the left side of the editor window. The following commands are available:

Go to bookmark
Click to go to the numbered bookmark of your choice.

Set bookmark
Click to add a numbered bookmark in the current line.

Delete bookmark
Click to delete the selected numbered bookmark or all numbered bookmarks.

Set the first free bookmark
Click to set the first available numbered bookmark on the current line (default shortcut Ctrl+K).

Go to the a named bookmark
Click to go to the desired named bookmark.

Set a named bookmark
Click to add a named bookmark on the current line.

Delete a named bookmark
Click to delete a named bookmark.

Go to document label
Click to go to the desired label in the document.

Go to line no.
Click to select the line you want to go to (default shortcut Ctrl+G).

Add a to-do
Click to add a to-do task.

Tasks to do
Click to open the Document Information window and display a list of to-dos.