Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
extensions-gnome [Le 28/05/2018, 08:14] 82.234.28.14 [Ajout de fonctionnalités] |
extensions-gnome [Le 04/07/2018, 13:16] 82.234.28.14 [Extensions modifiant l'interface] |
||
---|---|---|---|
Ligne 157: | Ligne 157: | ||
^ [[https://extensions.gnome.org/extension/1031/topicons/|Topicon plus]] | Les applications comme Skype, Discord ou Steam qui mettent un icône dans la zone de statut des barres de tâches des environnements habituels sont assez dérangeantes avec GNOME Shell, car ces icônes sont mal gérés. Cette extension les envoie dans la barre supérieure. | 16.04 à 18.04 | | ^ [[https://extensions.gnome.org/extension/1031/topicons/|Topicon plus]] | Les applications comme Skype, Discord ou Steam qui mettent un icône dans la zone de statut des barres de tâches des environnements habituels sont assez dérangeantes avec GNOME Shell, car ces icônes sont mal gérés. Cette extension les envoie dans la barre supérieure. | 16.04 à 18.04 | | ||
^ [[https://extensions.gnome.org/extension/19/user-themes/|User Themes]] (extension officielle) | Permet de changer le thème de GNOME Shell (et **NON** cette extension n'est **pas du tout** nécessaire pour changer le thème des fenêtres !). | 16.04 à 18.04 | | ^ [[https://extensions.gnome.org/extension/19/user-themes/|User Themes]] (extension officielle) | Permet de changer le thème de GNOME Shell (et **NON** cette extension n'est **pas du tout** nécessaire pour changer le thème des fenêtres !). | 16.04 à 18.04 | | ||
- | ^ [[https://extensions.gnome.org/extension/800/remove-dropdown-arrows/|Remove Dropdown Arrows]] | Supprime les petites flèches irritantes qui indiquent que certains items dans la barre supérieure sont des menus. | 14.04 à 18.04 | | + | ^ [[https://extensions.gnome.org/extension/1217/appfolders-manager/|Appfolders Management extension]] | Dans la vue des activités, un moyen facile de créer des dossiers pour y ranger les applications . | Testée avec la 18.04 | |
==== Navigation entre les fenêtres ==== | ==== Navigation entre les fenêtres ==== |