fix: appendHighlightedText non importé dans sidebar.js → erreur filtre sidebar

2026-05-29 14:52:14 -04:00
parent 7c288460c3
commit 3c93cebdf1
2 changed files with 2 additions and 2 deletions
@@ -790,7 +790,7 @@ function makeBreadcrumbSpan(text, onClick) {
  return s;
 }

-function appendHighlightedText(container, text, query, caseSensitive) {
+export function appendHighlightedText(container, text, query, caseSensitive) {
  container.textContent = "";
  if (!query) {
    container.appendChild(document.createTextNode(text));