not sure what i did here, but how can i turn this off?
First check if you have a search open. If so, close it.
Second check for filters by clicking on the 3 balls icon and seeing it anything is checked.
thank you, i found it under the 3 balls. "active lemmas" was selected somehow.
thank you much
Brent
Glad you found it quickly
