From cb72aa7996d62763a2372806fa6a61d3287bec29 Mon Sep 17 00:00:00 2001 From: o9000 Date: Thu, 2 Mar 2017 14:46:59 +0000 Subject: [PATCH] Update doc (add version for new options, see issue #624) --- doc/tint2.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/tint2.md b/doc/tint2.md index 6ba3186..62a37e9 100644 --- a/doc/tint2.md +++ b/doc/tint2.md @@ -270,7 +270,7 @@ gradient_id_pressed = 2 panel_size = 94% 30 ``` - * `panel_shrink = boolean (0 or 1)` : If set to 1, the panel will shrink to a compact size dynamically. + * `panel_shrink = boolean (0 or 1)` : If set to 1, the panel will shrink to a compact size dynamically. *(since 0.13)* * `panel_margin = horizontal_margin vertical_margin` : The margins define the distance between the panel and the horizontal/vertical monitor edge. Use `0` to obtain a panel with the same size as the edge of the monitor (no margin). @@ -344,7 +344,7 @@ panel_size = 94% 30 * You can drag-and-drop tasks between virtual desktops; * You can switch between virtual desktops. - * `taskbar_hide_if_empty = boolean (0 or 1)` : If enabled, in multi-desktop mode the taskbars corresponding to empty desktops different from the current desktop are hidden. + * `taskbar_hide_if_empty = boolean (0 or 1)` : If enabled, in multi-desktop mode the taskbars corresponding to empty desktops different from the current desktop are hidden. *(since 0.13)* * `taskbar_distribute_size = boolean (0 or 1)` : If enabled, in multi-desktop mode distributes between taskbars the available size proportionally to the number of tasks. Default: disabled. *(since 0.12)*