Gnome 3 : modifier la taille des icônes du dash

Je cherchais un moyen de réduire la taille du dash de Gnome 3. Le dash, c'est le dock de gauche qui apparaît lorsque vou affichez la liste des fenêtres ou des bureaux.

J'ai trouvé partout comment réduire la taille des icônes de la partie "Applications", mais pas pour modifier les icônes du Dash.

Finalement, voici comment faire :

Editez le fichier /usr/share/gnome-shell/js/ui/dash.js, et cherchez y la ligne suivante :

let iconSizes = [ 16, 22, 24, 32, 48, 64 ];

Supprimez le dernier chiffre, comme ceci :

let iconSizes = [ 16, 22, 24, 32, 48 ];

Enregistrez, et rechargez Gnome Shell :

Alt + F2, puis tapez "r" et entrée.

Si vous voulez encore réduire un peu plus les icônes, supprimez le "48".