- File management
- Session management
- Project Management
- Document Properties
- Shortcuts for the Run menu
- Windows Dialog
- GUI elements
- Switching between Documents
- Command Line
- Control files
- Shell Extension
- Further help
A bookmark is a special marker on a single line, indicated on the bookmark margin. With this you can easily search for lines and perform certain operations on them.
You can toggle a bookmark on a single line by clicking on the bookmark margin in front of the line, or by selecting. The command toggles bookmarks on each line of the currently opened document.
To remove all bookmarks
Navigating with bookmarks:
To Jump with the cursor to the next line containing a bookmark, select, to go to the previous bookmarked line select .
Modifying bookmarked lines:
You can perform a single operation on all bookmarked lines.
- To cut each bookmarked line, select . Every line will be cut from the file and added to the clipboard, so they can all be pasted at once.
- To copy, select instead.
- To replace each bookmarked line with the current clipboard contents, select .
- To remove all bookmarked lines, select .
The Delete option allows you to search for lines first, mark them with a bookmark using search (see Search), then remove all of them based on a certain trait.