Different Colors for Highlighter in General Feature Requests Posted June 20, 2017 Why, after 2 years, this simple resource isn't implanted yet? 2
Different Colors for Highlighter
in General Feature Requests
Posted
Why, after 2 years, this simple resource isn't implanted yet?