Different Colors for Highlighter in General Feature Requests Posted March 26, 2020 We need this, please develop! 1
Different Colors for Highlighter
in General Feature Requests
Posted
We need this, please develop!