Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
extensions-gnome [Le 04/07/2018, 13:15]
82.234.28.14 [Extensions modifiant l'interface]
extensions-gnome [Le 04/07/2018, 13:16] (Version actuelle)
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/​1217/​appfolders-manager/​|Appfolders Management extension]] | Dans la vue des activité, un moyen facile de créer des dossiers pour y ranger les applications . | Testée avec la 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 |
  
  
  • extensions-gnome.txt
  • Dernière modification: Le 04/07/2018, 13:16
  • par 82.234.28.14