Different Colors for Highlighter in General Feature Requests Posted August 16, 2018 Wow, this was posted years ago. I thought it'd been implemented by now. Let us pray.
Different Colors for Highlighter
in General Feature Requests
Posted
Wow, this was posted years ago. I thought it'd been implemented by now. Let us pray.