Une autre extension très pratique pour Gnome Shell : Settings Menu
Cette extension se place sur le tableau de bord et vous donne accès en un seul clic à tous les menus de réglage de votre système
Elle possède 2 réglages :

• En liste complète
• En liste de catégories

Vous devez avoir installé gnome-shell-extensions

Pour installer cette extension allez sur la page https://extensions.gnome.org/extension/414/settings-menu/

Cliquez sur le bouton pour le mettre à "ON"

 

Pour le configurer, cliquez sur le bouton "OUTILS"

Ce qui aura pour effet d'ouvrir une fenètre popup où vous pouvez activer ou désactiver la vue par catégories

Ce qui donnera ceci:

Original post of Christophe Brand.Votez pour ce billet sur Planet Libre.