Different Colors for Highlighter in General Feature Requests Posted July 27, 2015 +1. Please add this basic feature already. 1
Different Colors for Highlighter
in General Feature Requests
Posted
+1. Please add this basic feature already.