I wonder whether there are keyboard shortcuts to highlight & de-highlight text. Since these two functions are frequently used, it'd more convenient to use shortcuts.
For highlighting, currently, I need to go through 3 steps:
- select the text,
- click "highlight selection",
- type "ctrl + enter" to highlight it.
Ideally, step 2 could be replaced by a shortcut. Or even better, another shortcut could replace step 2 and step 3 together.
And a keyboard shortcut for "remove this highlight" is also appreciated.