Different Colors for Highlighter in General Feature Requests Posted November 19, 2014 Different highlighter colors would be great. Really useful to distinguish between matters of different priority. 1
Different Colors for Highlighter
in General Feature Requests
Posted
Different highlighter colors would be great. Really useful to distinguish between matters of different priority.