|
|
37.
|
|
|
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
|
|
|
38.
|
|
|
Intelligent autohide
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:34
|
|
|
39.
|
|
|
Dock size limit
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:35
|
|
|
40.
|
|
|
Panel mode: extend to the screen edge
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:36
|
|
|
41.
|
|
|
Icon size limit
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:38
|
|
|
42.
|
|
|
Fixed icon size: scroll to reveal other icons
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:39
|
|
|
43.
|
|
|
Position and size
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:41
|
|
|
44.
|
|
|
Show favorite applications
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
prefs.js:242
|
|
|
45.
|
|
|
Show running applications
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:43
|
|
|
46.
|
|
|
Isolate workspaces.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:41
|
