Ubuntu: reset dei pannelli in Gnome
Ultimamente i pannelli di Gnome hanno dato qualche problema, probabilmente a causa mia che ci ho giocato troppo. Le icone continuavano a sparire (in particolare quella dello shutdown che era fastidiosa). Ecco un metodo per resettare i pannelli di Gnome...
