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