Skip to content

make resource type filter optional - #27

Merged
ciara-mc merged 1 commit into
devfrom
trove-type-filter
Jul 21, 2026
Merged

make resource type filter optional#27
ciara-mc merged 1 commit into
devfrom
trove-type-filter

Conversation

@ciara-mc

Copy link
Copy Markdown
Contributor

This PR:

  • adds a show_trove_type_filter setting so admins can show/hide it
  • sets the default to not show the trove type filter

@ciara-mc
ciara-mc merged commit fdf5cae into dev Jul 21, 2026
1 of 2 checks passed
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