ok trouvé !! si ça peu éviter de perdre 1:30 la dessus comme moi, à quelqu'un d'autre ...
J'ai édité le fichier /usr/share/cinnamon/theme/cinnamon.css
et j'ai mis
.popup-menu-boxpointer {
-arrow-border-radius: 8px;
-arrow-background-color: rgba(0,0,0,1.0);
-arrow-border-width: 2px;
-arrow-border-color: #a5a5a5;
-arrow-base: 24px;
-arrow-rise: 11px;
au lieu de :
.popup-menu-boxpointer {
-arrow-border-radius: 8px;
-arrow-background-color: rgba(80,80,80,0.9);
-arrow-border-width: 2px;
-arrow-border-color: #a5a5a5;
-arrow-base: 24px;
-arrow-rise: 11px;
Bonne journée