Option marking menu
Marking menu tools


The Option marking menu:

Option marking menu

This menu appears when some option in the index is right-clicked.

Set Default