Extension Gnome Shell : Arc Menu
Par - Lien permanent
Arc Menu est une extension Gnome Shell conçue pour remplacer le menu standard. Les avantages de ce menu sont la recherche ainsi que l'accès rapide aux fichiers, logiciels et aux paramètres du système.
https://extensions.gnome.org/extension/1228/arc-menu/
Commentaires