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 or view it on GitHub: https://github.com/geany/geany/issues/3743#issuecomment-1890981878 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/3743/[email protected]>
