On a viré la barre de menu pour gagner de la place... mais on a une barre de titre deux fois plus grosse qu'auparavant.
J'utilise actuellement cette extension. Du coup la barre du haut est cachée, sauf quand je passe en mode "exposé" ou que mon curseur touche le haut de l'écran.
[^] # Re: remarque et questions
Posté par Sam E. . En réponse à la dépêche GNOME 3.10 : chantier public. Évalué à 3.
J'utilise actuellement cette extension. Du coup la barre du haut est cachée, sauf quand je passe en mode "exposé" ou que mon curseur touche le haut de l'écran.