diff --git a/AUTHORS b/AUTHORS index 295e54a..30830d3 100644 --- a/AUTHORS +++ b/AUTHORS @@ -24,6 +24,8 @@ Contributors: Jeff Blake (https://gitlab.com/u/berkley4) : more mouse event handlers Vladimir : translations, bug reports Christophe D. : non-rectangular borders + Benoit Averty : taskbar enhancements + Justin Jacobs : tint2conf fixes Translations: Bosnian: diff --git a/ChangeLog b/ChangeLog index 1110737..72a07a9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,6 +1,9 @@ -2016-08-07 master +2016-09-18 master +- Fixes: + - tint2conf: executor tooltips are now correctly disabled when text config value is empty (contributed by Justin Jacobs) - Enhancements: - Desktop files (shortcuts) used in launcher are reloaded on click, in case the file has changed + - New config option taskbar_hide_if_empty to hide an empty taskbar in multi_desktop mode (contributed by Benoit Averty) 2016-08-02 0.12.12 - Fixes: diff --git a/doc/manual.html b/doc/manual.html index 9bd4865..9f2b1e1 100644 --- a/doc/manual.html +++ b/doc/manual.html @@ -380,7 +380,8 @@ panel_size = 94% 30
  • You can switch between virtual desktops.
    • -

  • 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)

    • +

  • 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_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)

  • taskbar_padding = horizontal_padding vertical_padding spacing

    • diff --git a/doc/readme.html b/doc/readme.html index 4e97361..3cfb8fa 100644 --- a/doc/readme.html +++ b/doc/readme.html @@ -199,9 +199,9 @@ pre { -

    Latest stable release: 0.12.11

    Changes: https://gitlab.com/o9000/tint2/blob/0.12.11/ChangeLog

    Documentation: manual.html

    Compile it with (see also dependencies):

    git clone https://gitlab.com/o9000/tint2.git
+
    Latest stable release: 0.12.12
    Changes: https://gitlab.com/o9000/tint2/blob/0.12.12/ChangeLog
    Documentation: manual.html
    Compile it with (see also dependencies):
    git clone https://gitlab.com/o9000/tint2.git
 cd tint2
-git checkout 0.12.11
+git checkout 0.12.12
 mkdir build
 cd build
 cmake ..
diff --git a/doc/tint2.1 b/doc/tint2.1
index 49d9712..da5c994 100644
--- a/doc/tint2.1
+++ b/doc/tint2.1
@@ -326,7 +326,9 @@ You can switch between virtual desktops.
 .RE
 .RE
 .IP \(bu 2
-\fB\fCtaskbar_distribute_size = boolean (0 or 1)\fR :  If enabled, in multi\-desktop mode distributes between taskbars the available size proportionally to the number of tasks. Default: disabled. \fI(since 0.12)\fP
+\fB\fCtaskbar_hide_if_empty = boolean (0 or 1)\fR : If enabled, in multi\-desktop mode the taskbars corresponding to empty desktops different from the current desktop are hidden.
+.IP \(bu 2
+\fB\fCtaskbar_distribute_size = boolean (0 or 1)\fR : If enabled, in multi\-desktop mode distributes between taskbars the available size proportionally to the number of tasks. Default: disabled. \fI(since 0.12)\fP
 .IP \(bu 2
 \fB\fCtaskbar_padding = horizontal_padding vertical_padding spacing\fR
 .RE
diff --git a/doc/tint2.md b/doc/tint2.md
index bb8da64..04d8556 100644
--- a/doc/tint2.md
+++ b/doc/tint2.md
@@ -241,7 +241,9 @@ panel_size = 94% 30
       * You can drag-and-drop tasks between virtual desktops;
       * You can switch between virtual desktops.
 
-  * `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)*
+  * `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_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)*
 
   * `taskbar_padding = horizontal_padding vertical_padding spacing`