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.