Normalement, survoler un élément dans le panneau de droite colore en bleu les éléments correspondant dans le panneau de gauche. Cela ne fonctionne pas si l'option colorItemByTheme est activé. Idée : mettre en gras si cette option est activée ?