Bookmarks
Bookmark is a marker used to locate a position in a source file.
A bookmark may be named or unnamed.
Bookmarks are stream-based, that is each file stream has its
own independent bookmark list.
Command |
Shortkey |
Action |
| Toggle Bookmark |
Ctrl-F2 |
Sets or clears a bookmark in the current position |
| Next Bookmark |
F2 |
Jumps to the next bookmark |
| Previous Bookmark |
Shift-F2 |
Jumps to the previous bookmark |
| Clear All Bookmarks |
Ctrl-Shift-F2 |
Deletes all previously set bookmarks |
| Bookmarks |
Alt-F2 |
Opens the Bookmark List |
|
