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.

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

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

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.