Not sure if I like this better than adding a 3rd field to the translucency
key. My main problem is that it's called marker_search_translucency
, but it's not at all a marker. At least the stuff in translucency
controls things which resemble indicators (that is, highlighted parts of the text area, as opposed to markers in the margin). The comments and doc changes also further conflate markers and indicators.
—
Reply to this email directly or view it on GitHub.