J'ai installé ma première distribution Linux en ayant en tete de quitter Mr Microsoft
J'aimerais savoir s'il était possible de réduire la taille des icônes sans pour autant réduire le panel
Je suis sur Linux Mint 19.1 MATE fraîchement installé
Merci pour votre aide, Linux Mint me parait top (y)

