Gnome Shell - masquer le top panel

Pour masquer le panel du haut de l'écran sous Gnome Shell, installez l'extension suivante : gnome-shell-extension-autohidetopbar.
Il suffit d'aller régler la bonne valeur dans les advanced settings.