|
|
73.
|
|
|
Few customizations meant to integrate the dock with the default GNOME theme. Alternatively, specific options can be enabled below.
|
|
|
|
|
Assortir le dock avec le thème par défaut. Sinon, vous pouvez personnaliser quelques paramètres ci-dessous.
|
|
Translated by
naldir
|
|
|
|
Located in
Settings.ui.h:80
|
|
|
74.
|
|
|
Use built-in theme
|
|
|
|
|
Utiliser le thème par défaut
|
|
Translated by
naldir
|
|
|
|
Located in
Settings.ui.h:81
|
|
|
75.
|
|
|
Save space reducing padding and border radius.
|
|
|
|
|
Réduire la taille des marges pour gagner de la place.
|
|
Translated by
naldir
|
|
|
|
Located in
Settings.ui.h:76
|
|
|
76.
|
|
|
Shrink the dash
|
|
|
|
|
Réduire les marges
|
|
Translated by
naldir
|
|
|
|
Located in
Settings.ui.h:77
|
|
|
77.
|
|
|
Customize windows counter indicators
|
|
|
|
|
Personnaliser l’indicateur du compteur de fenêtres
|
|
Translated by
Julien Humbert
|
|
|
|
Located in
Settings.ui.h:82
|
|
|
78.
|
|
|
Default
|
|
|
|
|
Valeurs par défaut
|
|
Translated and reviewed by
Jean-Marc
|
| In upstream: |
|
Défaut
|
|
|
Suggested by
naldir
|
|
|
|
Located in
Settings.ui.h:83
|
|
|
79.
|
|
|
Dots
|
|
|
|
|
Points
|
|
Translated and reviewed by
Jean-Marc
|
|
|
|
Located in
Settings.ui.h:84
|
|
|
80.
|
|
|
Squares
|
|
|
|
|
Carrés
|
|
Translated and reviewed by
Jean-Marc
|
|
|
|
Located in
Settings.ui.h:85
|
|
|
81.
|
|
|
Dashes
|
|
|
|
|
Tirets
|
|
Translated and reviewed by
Jean-Marc
|
|
|
|
Located in
Settings.ui.h:86
|
|
|
82.
|
|
|
Segmented
|
|
|
|
|
Segments
|
|
Translated by
Julien Humbert
|
|
|
|
Located in
Settings.ui.h:87
|
