Different Colors for Highlighter in General Feature Requests Posted September 9, 2018 I definitely want this feature too.
Different Colors for Highlighter
in General Feature Requests
Posted
I definitely want this feature too.