Extension Gnome Shell : Arc Menu


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/

Ajouter un commentaire

Les commentaires peuvent être formatés en utilisant une syntaxe wiki simplifiée.

Fil des commentaires de ce billet