Mabox/tint2
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update for 0.13

Browse Source
This commit is contained in:
o9000
2017-03-04 15:16:20 +01:00
parent de982b9ada
commit 4534bd6aaa
6 changed files with 14 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
doc/manual.html
View File

@@ -388,7 +388,7 @@ panel_size = 94% 30
</code></pre>
<ul>
<li><p><code>panel_shrink = boolean (0 or 1)</code> : If set to 1, the panel will shrink to a compact size dynamically.</p></li>
<li><p><code>panel_shrink = boolean (0 or 1)</code> : If set to 1, the panel will shrink to a compact size dynamically. <em>(since 0.13)</em></p></li>
<li><p><code>panel_margin = horizontal_margin vertical_margin</code> : The margins define the distance between the panel and the horizontal/vertical monitor edge. Use <code>0</code> to obtain a panel with the same size as the edge of the monitor (no margin).</p></li>
</ul>
<p><img src="images/panel_size_margin.jpg" alt=""></p>
@@ -444,7 +444,7 @@ panel_size = 94% 30
<li>You can switch between virtual desktops.</li>
</ul></li>
</ul></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_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. <em>(since 0.13)</em></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>