Bookmarks for file navigation

A marker is a pointer to a specific line of the text.
Lines which contain markers are indicated with a green symbol on the left.

Bookmarks command are listed on the Search Menu.

Menu Command	Description	Shortcut key
“Add/Remove maker”	Adds a marker to the current line. If a marker is already set on the current line, the marker is removed instead.	CTRL+F7
“Find next marker”	Goes to next marker in the text	CTRL+F8
“Find previous marker”	Goes to previous marker in the text	CTRL+F9
“Remove all markers”	Removes all markers set in the current text

Comments