I would like to assign hotkeys for the following two commands:
- Toggle on/off the display for the micro-map bar
- Activate/deactivate highlighting word occurrences
I cannot seem to find those commands listed in Options > Interface > Activate in order to following-up with a key assignment.
Thank you.