Aggiungere il pulsante Mostra Dsektop su Gnome-shell

Il pulsante Mostra desktop è una utile funzionalità presente pressoche in qualsiasi sitema o DE.

In Gnome 2 era presente di default, mentre in Gnome 3 è stato eliminato.

Per riaverlo possiamo installare un'estensione specifica: Show Desktop Button.