Amazing that there is a setting for this. So it has been well thought out. It makes sense to me that always visible is the default, as I see no advantage to hiding the highlighting when focus is lost, and in my case there would be a lot of advantage to maintaining it.

Thanks for the detective work!

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.