|
|
53.
|
|
|
Top
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:31
|
|
|
54.
|
|
|
Hide the dock when it obstructs a window of the current application. More refined settings are available.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:33
|
|
|
55.
|
|
|
Intelligent autohide
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:34
|
|
|
56.
|
|
|
Dock size limit
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:35
|
|
|
57.
|
|
|
Panel mode: extend to the screen edge
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:36
|
|
|
58.
|
|
|
Icon size limit
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:38
|
|
|
59.
|
|
|
Fixed icon size: scroll to reveal other icons
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:39
|
|
|
60.
|
|
|
Preview size scale
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:40
|
|
|
61.
|
|
|
Position and size
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:41
|
|
|
62.
|
|
|
Show favorite applications
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
prefs.js:242
|
