Se você é usuário de Gnome Shell e acha muito grande o tamanho dos seus ícones, saiba que podemos diminuí-los.
1 – Antes de tudo, vamos fazer uma cópia de segurança do arquivo de configuraçãognome-shell.css. Abra um terminal e execute o comando:
sudo cp /usr/share/gnome-shell/theme/gnome-shell.css /usr/share/gnome-shell/theme/gnome-shell.css.backup [ENTER]
2 – Em seguida abra o arquivo gnome-shell.css com o editor de texto de sua preferência:
sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css [ENTER]
3 – Pesquise por “icon-grid” para achar a sessão que precisamos editar:
Apenas modifique os NÚMEROS em BOLD!
O procedimento aqui descrito foi realizado no DEBIAN 7 WHEEZY…
————- o original —————–
/* Apps */
.icon-grid {
spacing: 36px;
-shell-grid-item-size: 118px;
}
.icon-grid .overview-icon {
icon-size: 96px;
}
——————————————
++++++ A MODIFICAÇÃO +++++++
/* Apps */
.icon-grid {
spacing: 18px;
-shell-grid-item-size: 80px;
}
.icon-grid .overview-icon {
icon-size: 48px;
}
++++++++++++++++++++++++++++
O QUE FOI MODIFICADO:
Mudei o spacing para 18 (espaçamento);
shell-grid-item-size para 80;
O tamanho do ícone (icon-size) para 48.
4 – Modificação feita, salve o arquivo e feche o editor de texto;
5 – Reinicie a sessão e pronto!
O procedimento aqui descrito foi realizado no DEBIAN 7 WHEEZY.
É só apreciar.