Catégories: Améliorations de bureau, Extensions de GNOME Shell
- Accueil
- Linux
- Extension Shortcuts
- Téléchargement ...
Extension Shortcuts 1.0
Raccourcis extension est une extension GNOME Shell qui permet aux utilisateurs de prendre le contrôle de leurs add-ons installés, leur permettant de changer facilement les préférences d'extension, installer de nouvelles extensions ou parcourir pour...