|
12 | 12 | <default>true</default> |
13 | 13 | </option> |
14 | 14 | <option name="autohide_duration" type="int"> |
15 | | - <_short>Autohide duration</_short> |
| 15 | + <_short>Autohide animation duration</_short> |
| 16 | + <_long>Time (in milliseconds) the dock takes to show and hide</_long> |
16 | 17 | <default>300</default> |
17 | 18 | </option> |
| 19 | + <option name="autohide_show_delay" type="int"> |
| 20 | + <_short>Autohide show delay</_short> |
| 21 | + <_long>Amount of time (in milliseconds) the cursor needs to be in the zone before showing.</_long> |
| 22 | + <default>300</default> |
| 23 | + </option> |
| 24 | + <option name="autohide_hide_delay" type="int"> |
| 25 | + <_short>Autohide hide delay</_short> |
| 26 | + <_long>Amount of time (in milliseconds) the cursor needs to be out of the zone before hiding.</_long> |
| 27 | + <default>500</default> |
| 28 | + </option> |
18 | 29 | <option name="position" type="string"> |
19 | 30 | <_short>Position</_short> |
20 | 31 | <default>bottom</default> |
|
26 | 37 | <value>bottom</value> |
27 | 38 | <_name>Bottom</_name> |
28 | 39 | </desc> |
| 40 | + <desc> |
| 41 | + <value>left</value> |
| 42 | + <_name>Left</_name> |
| 43 | + </desc> |
| 44 | + <desc> |
| 45 | + <value>right</value> |
| 46 | + <_name>Right</_name> |
| 47 | + </desc> |
29 | 48 | </option> |
30 | 49 | <option name="max_per_line" type="int"> |
31 | 50 | <_short>Max icons per line</_short> |
32 | 51 | <_long>If greater than 0, the dock will have a maximum number of entries per line, after which a new line is created.</_long> |
33 | 52 | <default>0</default> |
34 | 53 | </option> |
35 | | - <option name="dock_height" type="int"> |
36 | | - <_short>Dock height</_short> |
| 54 | + <option name="full_span" type="bool"> |
| 55 | + <_short>Anchor to edges</_short> |
| 56 | + <_long>Wether the dock should extend all the way to the left and right; or top and bottom depending on orientation.</_long> |
| 57 | + <default>false</default> |
| 58 | + </option> |
| 59 | + <option name="minimal_height" type="int"> |
| 60 | + <_short>Minimal height</_short> |
| 61 | + <default>100</default> |
| 62 | + </option> |
| 63 | + <option name="minimal_width" type="int"> |
| 64 | + <_short>Minimal width</_short> |
37 | 65 | <default>100</default> |
38 | 66 | </option> |
39 | 67 | <option name="icon_height" type="int"> |
40 | 68 | <_short>Dock icons height</_short> |
41 | 69 | <default>72</default> |
42 | 70 | </option> |
43 | | - <option name="edge_offset" type="int"> |
44 | | - <_short>Edge offset</_short> |
45 | | - <_long>The distance from the cursor to the edge of screen to show the panel when it's hidden.</_long> |
| 71 | + <option name="edge_margin" type="int"> |
| 72 | + <_short>Edge margin</_short> |
| 73 | + <_long>Space between the dock the edge</_long> |
| 74 | + <default>0</default> |
| 75 | + </option> |
| 76 | + <option name="edge_hotspot_size" type="int"> |
| 77 | + <_short>Edge hotspot size</_short> |
| 78 | + <_long>The distance to the edge of screen to place the cursor in to show the dock when it's hidden.</_long> |
| 79 | + <default>20</default> |
| 80 | + </option> |
| 81 | + <option name="adjacent_edge_hotspot_size" type="int"> |
| 82 | + <_short>Ajacent edge hotspot size</_short> |
| 83 | + <_long>The distance to the edge of adjacent screens to place the cursor in to show the dock when it's hidden.</_long> |
46 | 84 | <default>20</default> |
47 | 85 | </option> |
48 | 86 | <option name="show_close" type="bool"> |
|
0 commit comments