|
|
83.
|
|
|
Minimize
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:70
|
|
|
84.
|
|
|
Behaviour when scrolling on the icon of an application.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:71
|
|
|
85.
|
|
|
Scroll action
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:72
|
|
|
86.
|
|
|
Do nothing
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:73
|
|
|
87.
|
|
|
Switch workspace
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:74
|
|
|
88.
|
|
|
Behavior
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:75
|
|
|
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
|
