Download
https://diolinux.com.br/editorial/3-gnome-shell-extensions-customizar.html
3 extensões para aumentar o poder de customização do GNOME Shell
Share