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
Prochaine révision
Révision précédente
Prochaine révision Les deux révisions suivantes
tutoriel:personnaliser_gnome [Le 24/09/2018, 23:35]
spnux [Ressources] Correction hyperlien de Wallpapers
tutoriel:personnaliser_gnome [Le 09/12/2018, 23:29]
90.109.52.194 correction
Ligne 69: Ligne 69:
 En pressant la touche //Super//, ou //Alt+F1//, ou en déplaçant (sans cliquer !) la souris dans le coin supérieur gauche (on parle de **coin actif**), ou en cliquant sur "​Activités",​ on ouvre la **vue des Activités** (//​overview//​) : En pressant la touche //Super//, ou //Alt+F1//, ou en déplaçant (sans cliquer !) la souris dans le coin supérieur gauche (on parle de **coin actif**), ou en cliquant sur "​Activités",​ on ouvre la **vue des Activités** (//​overview//​) :
   * En haut, une **entrée de recherche** (active dès que la vue Activités est ouverte) ;   * En haut, une **entrée de recherche** (active dès que la vue Activités est ouverte) ;
-  * À gauche, les miniatures des **espaces de travail**. Par défaut, ils se créent dynamiquement (de manière à ce qu'il n'y ait toujours qu'un seul espace sans fenêtre) ;+  * À droite, les miniatures des **espaces de travail**. Par défaut, ils se créent dynamiquement (de manière à ce qu'il n'y ait toujours qu'un seul espace sans fenêtre) ;
   * Au centre, les fenêtres ouvertes sont visibles sous forme miniature et peuvent être déplacées vers un autre espace de travail ou fermées ;   * Au centre, les fenêtres ouvertes sont visibles sous forme miniature et peuvent être déplacées vers un autre espace de travail ou fermées ;
  
Ligne 107: Ligne 107:
 === Outil de personnalisation GNOME === === Outil de personnalisation GNOME ===
  
-Beaucoup de manipulations peuvent se faire avec **[[:​gnome-tweak-tool|l'​outil de personnalisation (article dédié)]]**. En anglais, cet outil se nomme "GNOME Tweak Tool". Depuis Ubuntu 17.10, on trouvera plutôt les dénominations "GNOME Tweaks"​ (en anglais) et "​**Ajustements**"​ (en français).+Beaucoup de manipulations peuvent se faire avec **[[:​gnome-tweak-tool|l'​outil de personnalisation (article dédié)]]**. En anglais, cet outil se nomme "GNOME Tweak Tool". Depuis Ubuntu 17.10, on trouvera plutôt les dénominations "GNOME Tweaks"​ (en anglais) et "​**Ajustements ​de GNOME**" (en français).
  
 <note help>Cet utilitaire n'est pas présent par défaut, il faut [[:​tutoriel:​comment_installer_un_paquet|installer le paquet]] **[[apt>​gnome-tweak-tool]]**.</​note>​ <note help>Cet utilitaire n'est pas présent par défaut, il faut [[:​tutoriel:​comment_installer_un_paquet|installer le paquet]] **[[apt>​gnome-tweak-tool]]**.</​note>​
  • tutoriel/personnaliser_gnome.txt
  • Dernière modification: Le 23/06/2023, 08:17
  • par 78.194.210.91