28/09/2023, 22:04
(Questo messaggio è stato modificato l'ultima volta il: 28/09/2023, 22:20 da francesco crash.)
Grazie Adrianomorselli.
Pero il primo link non riporta alla situazione originale, cioe prima di aver digitato nel terminale i comandi su detti.
Ed il browser, mi rimane con caratteri enormi.
Mentre il secondo link funziona per ubuntu 22.04 ma evidentemente, non per versioni precedenti, perché mi compare una pagina vuota, quando digito nel terminale:
Quindi non mi e' possibile modificare le dimensioni delle icone.
Tuttavia sono riuscito a rimpiccolire le icone all'interno della barra laterale a sinistra, andando su:
impostazioni => aspetto => Dock => Dimensione icone
Pero il primo link non riporta alla situazione originale, cioe prima di aver digitato nel terminale i comandi su detti.
Ed il browser, mi rimane con caratteri enormi.
Mentre il secondo link funziona per ubuntu 22.04 ma evidentemente, non per versioni precedenti, perché mi compare una pagina vuota, quando digito nel terminale:
Codice:
sudo gedit /usr/share/gnome-shell/extensions/ding@rastersoft.com/enum.jsQuindi non mi e' possibile modificare le dimensioni delle icone.
Tuttavia sono riuscito a rimpiccolire le icone all'interno della barra laterale a sinistra, andando su:
impostazioni => aspetto => Dock => Dimensione icone