Marking Menu Editor
Displays the
Marking Menu Editor
. For more information about the options, see
Marking Menu Editor
.
Parent topic:
Settings/Preferences submenu