"unfortunately" I've recently got a new notebook with a bleeding fast CPU so I won't notice :D

Same sad story here with the 8-core ARM Mac :-).

Sigh, boys and their toys 😄

Though having per document filters obviously requires much more efforts :(.

What about a "lazy" solution to clear the filter automatically on a tab change?

Then the user would be confused on switching back to the original tab to find their filter gone?

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.