Skip to content

Improve filtering#4834

Merged
santeri0200 merged 17 commits intomasterfrom
filtering
Jul 14, 2025
Merged

Improve filtering#4834
santeri0200 merged 17 commits intomasterfrom
filtering

Conversation

@santeri0200
Copy link
Member

  • Clarify filter types
  • Execute filter factories in parent before feeding them to FilterView

@santeri0200 santeri0200 mentioned this pull request Jul 14, 2025
@santeri0200 santeri0200 merged commit 73e69b5 into master Jul 14, 2025
27 of 28 checks passed
@santeri0200 santeri0200 deleted the filtering branch July 14, 2025 17:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant