• [^] # Re: Eh si

    Posté par (site web personnel) . En réponse au message Personnaliser les menus dans Gnome. Évalué à 1.

    Il n'y a pas d'utilitaire officiel pour modifier les menus gnome, ceci afin de faciliter le support. Cela dit une barre en haut de 24px de haut tient toutes mes applis courantes, et c'est pratique (en plus des raccourcis clavier).