Make the highlighting configurable
MysterAitch opened this issue · 0 comments
MysterAitch commented
e.g. at the moment it is yellow with a red outline -- make it different?
MysterAitch opened this issue · 0 comments
e.g. at the moment it is yellow with a red outline -- make it different?