|
|
66.
|
|
|
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
|
|
|
67.
|
|
|
Use built-in theme
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:81
|
|
|
68.
|
|
|
Save space reducing padding and border radius.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:76
|
|
|
69.
|
|
|
Shrink the dash
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:77
|
|
|
70.
|
|
|
Customize windows counter indicators
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:82
|
|
|
79.
|
|
|
Set the background color for the dash.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:92
|
|
|
80.
|
|
|
Customize the dash color
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:93
|
|
|
81.
|
|
|
Tune the dash background opacity.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:94
|
|
|
82.
|
|
|
Customize opacity
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
prefs.js:1083 Settings.ui.h:95
|
|
|
86.
|
|
|
Force straight corner 
|
|
|
represents a line break.
Start a new line in the equivalent position in the translation.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:78
|
