Community Wishlist Survey 2023/Miscellaneous/Search bar at preferences/Proposal
- Problem: Too many preferences, no way to easily search through them
- Proposed solution: Add a simple search bar to function as a filter
- Who would benefit: Everyone
- More comments: The title is self-explanatory.
- Phabricator tickets: T313804
- Proposer: Klein Muçi (talk) 13:55, 27 January 2023 (UTC)