Updated changelog and documentation

This commit is contained in:
o9000
2016-09-18 12:32:52 +02:00
parent 1d076ee6a4
commit d0506f07a1
6 changed files with 16 additions and 6 deletions

View File

@@ -380,7 +380,8 @@ panel_size = 94% 30
<li>You can switch between virtual desktops.</li>
</ul></li>
</ul></li>
<li><p><code>taskbar_distribute_size = boolean (0 or 1)</code> : If enabled, in multi-desktop mode distributes between taskbars the available size proportionally to the number of tasks. Default: disabled. <em>(since 0.12)</em></p></li>
<li><p><code>taskbar_hide_if_empty = boolean (0 or 1)</code> : If enabled, in multi-desktop mode the taskbars corresponding to empty desktops different from the current desktop are hidden.</p></li>
<li><p><code>taskbar_distribute_size = boolean (0 or 1)</code> : If enabled, in multi-desktop mode distributes between taskbars the available size proportionally to the number of tasks. Default: disabled. <em>(since 0.12)</em></p></li>
<li><p><code>taskbar_padding = horizontal_padding vertical_padding spacing</code></p></li>
</ul>
<p><img src="images/taskbar_padding.jpg" alt=""></p>