Ainda outra pergunta sobre como diminuir o tamanho dos ícones no traço de aplicativos, agora para 17.10.
Eu tentei:
Em /usr/share/gnome-shell/extensions/[email protected]/dash.js linha 160:
const baseIconSizes = [16, 22, 24]; //, 32, 48, 64, 96, 128];
Na linha /usr/share/gnome-shell/theme/gnome-shell.css 1211:
icon-size: 32px; } // instead of 96px
Eu não tenho um arquivo "iconGrid.js". Eu não vi esse parâmetro na ferramenta Gnome Tweak.
Alguém fez isso em 17.10?