• [^] # Re: remarque et questions

    Posté par . En réponse à la dépêche GNOME 3.10 : chantier public. Évalué à 3.

    Je confirme, l'extension Hide Top Bar est vraiment parfaite sur un petit écran. Cela ne change rien à l'utilisation au quotidien et ça enlève toute distraction !