Bookmarks plugin

Toggle line bookmarks and jump between them, so you can mark places of interest in a file and move between them quickly.

Where to find it

The Search menu:

• Toggle Bookmark — add or remove a bookmark on the current line.
• Next Bookmark / Previous Bookmark — jump between bookmarked lines.
• Clear All Bookmarks — remove every bookmark.

Bookmarked lines are marked in the margin so you can see them at a glance.