Mot-clé - Arc Menu

Fil des billets - Fil des commentaires

mercredi 24 mai 2017 à

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/