Logan Rathbone
poprocks@gmail.com 2024
Marek Černocký
marek@manet.cz 2010 – 2012

# Marks

Marks provide a convenient way to earmark chunks or sections of data that can be quickly jumped to.

To open the marks dialog, open the Main Menu, and click Marks, or use the keyboard shortcut Ctrl M.

# Selecting marks

Marks are numbered 0-9. To select a mark to work with, choose the mark number you would like to select by selecting the number in the Mark: spin button, or by pressing Ctrl 0...9.

# Setting marks

To set a mark, select the mark number you would like to set. Next, highlight the data for which you would like to set a mark. Finally, click Set to set that mark.

# Jumping to marks

To jump to a mark, select the mark number you would like to jump to. Then, click Jump to jump to that mark. This will set the cursor position to the starting point of that mark instantaneously.

# Deleting marks

To delete a mark, select the mark number you would like to delete. Then, click Delete to delete that mark.

# Setting a custom color for a mark

Marks have a default color which should make them stand out from other highlighted items. However, you can also optionally set a custom color for a mark if desired.

Custom colors can only be set after a mark has been created. Once a mark has been created, click the color chooser button next to the Mark: spin button, and select your desired color.