Extension 439 : Extension Shortcuts
Publié le mercredi 05 septembre 2012, 10:08 - modifié le 09/12/12 - Système - Lien permanent
- Article
- |
- Commentaires (4)
- |
- Fichiers attachés (4)
C'est la version 3.4 de l'extension Extension-Shortcuts.
Ajoute au panneau principal (à droite) un menu pour des raccourcis concernant les extensions :
- Installed Extensions ouvre votre navigateur internet sur la page du site Gnome indiquant les extensions installées
- Browse Extensions ouvre votre navigateur sur la page du site Gnome listant les extensions disponibles
- Extension Preferences lance gnome-shell-extension-prefs (l'application permettant de régler les options des extensions compatibles)
- Open Extensions Folder ouvre le dossier ~/.local/gnome-shell/extension où sont stockées les extensions installées depuis le site Gnome
- Restart Shell redémarre l'interface
Derniers commentaires