1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
<?xml version="1.0"?>
<wf-shell>
<plugin name="dock">
<_short>Dock</_short>
<category>Shell</category>
<option name="css_path" type="string">
<_short>CSS Path</_short>
<default></default>
</option>
<option name="autohide" type="bool">
<_short>Autohide</_short>
<default>true</default>
</option>
<option name="autohide_duration" type="int">
<_short>Autohide duration</_short>
<default>300</default>
</option>
<option name="position" type="string">
<_short>Position</_short>
<default>bottom</default>
<desc>
<value>top</value>
<_name>Top</_name>
</desc>
<desc>
<value>bottom</value>
<_name>Bottom</_name>
</desc>
</option>
<option name="dock_height" type="int">
<_short>Dock height</_short>
<default>100</default>
</option>
<option name="icon_height" type="int">
<_short>Dock icons height</_short>
<default>72</default>
</option>
<option name="edge_offset" type="int">
<_short>Edge offset</_short>
<_long>The distance from the cursor to the edge of screen to show the panel when it's hidden.</_long>
<default>20</default>
</option>
</plugin>
</wf-shell>
|
