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
|
|
|