Match highlighting should be opt-in #30
Description
The colored match highlighting can be overbearing. We should be able to have a setting that turns it off at least, maybe by default. Additionally we could consider highlighting matches on hover and potentially having them stick on click if this doesn't mess with other current or planned interactions.