Per la gestione completa degli applet con il desktop enviroment Gnome Shell, è necessario installare la seguente estensione:
A tal fine, è possibile procedere tramite l'app di installazione software del sistema operativo, oppure tramite il sito: GNOME Shell Extensions
Mario Del Pretaro
