Chaque fois que je change de thème gnome Shell/Terminal, rien ne se passe, il reste le même jeu de couleurs terne. Me manque-t-il des réglages ici? J'ai un tableau de bord installé.
La solution consistait à cocher la case "Utiliser les couleurs du thème système" comme indiqué ci-dessous.