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
gnome-tweak-tool [Le 24/10/2017, 20:53]
Roschan [Saisie] faute de frappe
gnome-tweak-tool [Le 07/04/2018, 23:38] (Version actuelle)
176.180.137.2 [Fenêtres]
Ligne 68: Ligne 68:
 Cette section contient divers paramètres de gestion des fenêtres ​ Cette section contient divers paramètres de gestion des fenêtres ​
   * action des clics et des touches spéciales sur les fenêtres et les barres de titre,   * action des clics et des touches spéciales sur les fenêtres et les barres de titre,
-  * ()activation des boutons de fenêtres "​minimiser"​ et "​maximiser"​ (et leurs positions),+  * (dés)activation des boutons de fenêtres "​minimiser"​ et "​maximiser"​ (et leurs positions),
   * gestion du focus des fenêtres.   * gestion du focus des fenêtres.
   * [Versions antérieures à 3.25 seulement] mise à l'​échelle de l'​interface pour écrans à haute densité de pixels.   * [Versions antérieures à 3.25 seulement] mise à l'​échelle de l'​interface pour écrans à haute densité de pixels.
  • gnome-tweak-tool.txt
  • Dernière modification: Le 07/04/2018, 23:38
  • par 176.180.137.2