feat: panneau de facettes repliable + facette Extensions exposee par l'API #157

2026-10-01 23:07:16 -04:00
parent 2813d546a7
commit 1e0e419210
19 changed files with 154 additions and 31 deletions
@@ -1609,6 +1609,8 @@
  "search.exclude_placeholder": "Exclure: vendor/*, *.lock",
  "search.facet_tags": "Tags",
  "search.facet_vaults": "Vaults",
+  "search.facets_collapse": "Réduire les facettes",
+  "search.facets_expand": "Afficher les facettes",
  "search.files_filtered": "{count} fichier(s) avec filtres",
  "search.filter_path_title": "Filtres de chemin (Alt-F)",
  "search.filters": "Filtres",