From 07592355cbe9485de78f6fdeb3b17e5fef8ca5ae Mon Sep 17 00:00:00 2001 From: o9000 Date: Sat, 8 Oct 2016 14:54:34 +0200 Subject: [PATCH] Option to shrink panel: updated doc and translation files --- ChangeLog | 3 +- doc/manual.html | 3 +- doc/tint2.1 | 2 + doc/tint2.md | 2 + src/tint2conf/po/bs.po | 860 ++++++++++++++++---------------- src/tint2conf/po/fr.po | 860 ++++++++++++++++---------------- src/tint2conf/po/hr.po | 860 ++++++++++++++++---------------- src/tint2conf/po/pl.po | 860 ++++++++++++++++---------------- src/tint2conf/po/ru.po | 860 ++++++++++++++++---------------- src/tint2conf/po/sr.po | 860 ++++++++++++++++---------------- src/tint2conf/po/tint2conf.pot | 868 +++++++++++++++++---------------- src/tint2conf/properties.c | 2 +- 12 files changed, 3085 insertions(+), 2955 deletions(-) diff --git a/ChangeLog b/ChangeLog index 9d7a1c2..3016f9a 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,10 +1,11 @@ -2016-10-02 master +2016-10-08 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) - Gradient backgrounds (contributed by Oskari Rauta) + - New option: panel_shrink (fixes issue #333) - New plugin: separator (contributed by Oskari Rauta) 2016-08-02 0.12.12 diff --git a/doc/manual.html b/doc/manual.html index f997bf4..01c9998 100644 --- a/doc/manual.html +++ b/doc/manual.html @@ -451,7 +451,8 @@ panel_size = 94% 30