Extension 130 : Advanced Settings in UserMenu
Publié le lundi 25 juin 2012, 21:27 - modifié le 20/10/12 - Menu utilisateur - Lien permanent
- Article
- |
- Commentaires (4)
- |
- Fichiers attachés (4)
Ajoute au menu 'utilisateur' un raccourci vers Gnome Tweak Tool ('Advanced Settings').
Une extension équivalente permet d'afficher en plus des accès à plus de réglages sans prendre plus de place que celle-ci, tout en étant très paramétrable : Advanced Settings in UserMenu. Donc, sauf si vous ne voulez qu'un accès à Gnome Tweak Tool, mieux vaut utiliser l'autre.
Derniers commentaires