Using Source Editor Bookmarks
You can set Source Editor bookmarks (not to be confused with bookmarks for web
pages) to mark places in files that you return to often. You can then
navigate to these bookmarks with a simple keyboard shortcut.
To bookmark a line in a file:
- Put the insertion point in the line you want to bookmark and press Ctrl-F2.
The line is highlighted in turquoise.
To jump to a bookmark:
-
Press F2.
The insertion point moves to the next bookmark in the file. If the end of
the file is reached and the bookmark is not found, the search continues from
the top of the file.
To remove a bookmark:
- Put the insertion point in the bookmarked line and press Ctrl-F2.
Legal Notices