|
|
89.
|
|
|
Few customizations meant to integrate the dock with the default GNOME theme. Alternatively, specific options can be enabled below.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:80
|
|
|
90.
|
|
|
Use built-in theme
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:81
|
|
|
91.
|
|
|
Save space reducing padding and border radius.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:76
|
|
|
92.
|
|
|
Shrink the dash
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:77
|
|
|
93.
|
|
|
Customize windows counter indicators
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:82
|
|
|
94.
|
|
|
Default
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:83
|
|
|
95.
|
|
|
Dots
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:84
|
|
|
96.
|
|
|
Squares
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:85
|
|
|
97.
|
|
|
Dashes
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:86
|
|
|
98.
|
|
|
Segmented
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:87
|
