Mm, not sure I understand your answer. If you do what I described above, search, then closes the search results (click on x), do your search results stay highlighted?
Edit: To remove the highlighting, I first have to press ⌘+r or open/close the inspector.
No, the inspector is not open. I think this “bug” occurred after DT crashed a few days ago. I believe before that the highlights were removed when the search was closed.
Could it be that a setting has changed due to the crash? Or what could I try to restore the original state?
You’ll get an email response to the opening of the ticket. Then you will see responses from me (typically) there too. See the information in the response email.