|
|
3.
|
|
|
Customize indicator style
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:22
|
|
|
4.
|
|
|
Color
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:23
|
|
|
5.
|
|
|
Border color
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:24
|
|
|
6.
|
|
|
Border width
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:25
|
|
|
7.
|
|
|
Number overlay
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:110
|
|
|
8.
|
|
|
Temporarily show the application numbers over the icons, corresponding to the shortcut.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:111
|
|
|
9.
|
|
|
Show the dock if it is hidden
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:112
|
|
|
10.
|
|
|
If using autohide, the dock will appear for a short time when triggering the shortcut.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:113
|
|
|
11.
|
|
|
Shortcut for the options above
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:114
|
|
|
12.
|
|
|
Syntax: <Shift>, <Ctrl>, <Alt>, <Super>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Settings.ui.h:115
|
