From 87da8c76cc809a5e0e4b87b99c7d254facb2cc05 Mon Sep 17 00:00:00 2001 From: o9000 Date: Tue, 14 Nov 2017 17:09:04 +0100 Subject: [PATCH] Taskbar: thumbnails (config, tint2conf and doc) --- doc/manual.html | 2 ++ doc/tint2.1 | 4 ++++ doc/tint2.md | 4 ++++ src/config.c | 4 ++++ src/taskbar/task.c | 6 +++++- src/taskbar/task.h | 2 ++ src/taskbar/taskbar.c | 7 ++++++- src/tint2conf/properties.c | 32 +++++++++++++++++++++++++++++++- src/tint2conf/properties.h | 2 +- src/tint2conf/properties_rw.c | 9 +++++++++ src/util/window.c | 4 ++-- src/util/window.h | 2 +- themes/tint2rc | 4 +++- 13 files changed, 74 insertions(+), 8 deletions(-) diff --git a/doc/manual.html b/doc/manual.html index cf25ff7..303f691 100644 --- a/doc/manual.html +++ b/doc/manual.html @@ -481,6 +481,8 @@ panel_size = 94% 30
  • task_text = boolean (0 or 1) : Whether to display the task text.

  • task_centered = boolean (0 or 1) : Whether the task text is centered.

  • task_tooltip = boolean (0 or 1) : Whether to show tooltips for tasks.

  • +
  • task_thumbnail = boolean (0 or 1) : Whether to show thumbnail tooltips for tasks.

  • +
  • task_thumbnail_size = width : Thumbnail size.

  • task_maximum_size = width height