Community Wishlist Survey 2023/Miscellaneous/Search bar at preferences/Proposal/fr
- Problem: Il y a trop de préférences et il n'existe pas de moyen aisé d'en chercher une parmi elles.
- Proposed solution: Ajouter une barre de recherche simple, qui fonctionne comme un filtre.
- Who would benefit: Tout le monde
- More comments: Le titre est sans équivoque.
- Phabricator tickets: T313804
- Proposer: Klein Muçi (talk) 13:55, 27 January 2023 (UTC)